Staged Program Repair with Condition Synthesis