Scalable and systematic detection of buggy inconsistencies in source code | Synapse