How to design a program repair bot? | Synapse