Grammars compile

src/main/scala/inox/grammars/AllGrammars.scala

src/main/scala/inox/grammars/Aspect.scala

src/main/scala/inox/grammars/BaseGrammar.scala

src/main/scala/inox/grammars/Closures.scala

src/main/scala/inox/grammars/Constants.scala

src/main/scala/inox/grammars/Empty.scala

src/main/scala/inox/grammars/EqualityGrammar.scala

src/main/scala/inox/grammars/ExpressionGrammar.scala

src/main/scala/inox/grammars/FunctionCalls.scala

src/main/scala/inox/grammars/GrammarsUniverse.scala

src/main/scala/inox/grammars/Label.scala

src/main/scala/inox/grammars/OneOf.scala

src/main/scala/inox/grammars/ProductionRule.scala

src/main/scala/inox/grammars/SafeRecursiveCalls.scala

src/main/scala/inox/grammars/SimpleExpressionGrammar.scala

src/main/scala/inox/grammars/Tags.scala

src/main/scala/inox/grammars/Union.scala

src/main/scala/inox/grammars/ValueGrammar.scala

src/main/scala/inox/grammars/aspects/AllAspects.scala

src/main/scala/inox/grammars/aspects/DepthBound.scala