Scalable detection of semantic clones | Synapse