I have trust issues

src/main/scala/leon/repair/rules/GuidedDecomp.scala

src/main/scala/leon/synthesis/heuristics/ADTInduction.scala

...in/scala/leon/synthesis/heuristics/ADTLongInduction.scala

src/main/scala/leon/synthesis/heuristics/IntInduction.scala

src/main/scala/leon/synthesis/rules/ADTSplit.scala

src/main/scala/leon/synthesis/rules/Assert.scala

src/main/scala/leon/synthesis/rules/CaseSplit.scala

src/main/scala/leon/synthesis/rules/DetupleInput.scala

src/main/scala/leon/synthesis/rules/DetupleOutput.scala

src/main/scala/leon/synthesis/rules/EqualitySplit.scala

src/main/scala/leon/synthesis/rules/IfSplit.scala

src/main/scala/leon/synthesis/rules/InequalitySplit.scala

src/main/scala/leon/synthesis/rules/IntegerEquation.scala

...main/scala/leon/synthesis/rules/IntegerInequalities.scala

src/main/scala/leon/synthesis/rules/OnePoint.scala

...main/scala/leon/synthesis/rules/UnconstrainedOutput.scala