Folder goto-synthesizer

Author

Qinheping Hu

The goto-synthesizer/ contains all processing of loop-contracts synthesizer.