public class And extends BinaryExpr