public DSL() { statements = new Statements(); satisfy = new Relation(); notSatisfy = new Relation(); }