Working on NumberGame/GrammarInference