GrammarSolver.cpp added