Precise Condition Synthesis for Program Repair
Fixing deadlocks via lock pre-acquisitions