Grammars have access to ctx

src/main/scala/leon/datagen/GrammarDataGen.scala

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

src/main/scala/leon/synthesis/ExamplesFinder.scala

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

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

src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala