Remove SafeRecursiveCalls from Grammars.default
IntroduceRecCalls keeps only examples that lead to no 'choose'
IntroduceRecCalls is normalizing
Make 1 benchmark tougher