public bool isOK() { return !HasError(); }
public static bool isANYLOCAL_OK(this EXPR expr) { return(expr.isANYLOCAL() && expr.isOK()); }