Focus synthesis on failed branches immediately

library/annotation/package.scala

library/lang/synthesis/package.scala

src/main/scala/leon/repair/Repairman.scala

src/main/scala/leon/synthesis/ChooseInfo.scala

src/main/scala/leon/synthesis/Problem.scala