GrammaTech / Mnemosyne / learn-synth / clone-detection