ConnSynth is a concurrency synthesis tool to repair C programs