public While While(BoolExpression condition) { return new While(condition); }
public And(BoolExpression lhs, BoolExpression rhs) : base(lhs, rhs) { }
public If If(BoolExpression condition) { return new If(condition); }
public Or(BoolExpression lhs, BoolExpression rhs) : base(lhs, rhs) { }