public class Times extends BinaryExpr