public class IfBinary extends Binary {
  public Object sem (String op) throws SemanticException {
    super.sem();
    if (aT == Boolean.class && bT == Boolean.class) return T = Boolean.class;
    throw new SemanticException("binary "+ op +" expects boolean");
  }
}