public OpExpression(BooleanOperation op, BooleanVariable left, BooleanVariable right) { Op = op; Left = new VarExpression(left); Right = new VarExpression(right); }