public Location location() { return cond.location(); }
public Type type() { return thenExpr.type(); }