Add functionsToIgnore in SynthesisContext, use it in ExpressionGrammars
Unfold EmbeddedGrammar under SimilarTo
BoundedGrammars