class DpllSolver::Parsers::Transformer