class DpllSolver::Parsers::Grammar