public static bool PROCEDURE_CORRECT_ARITYP( procedure p, int i ) { int arity = p.arity; return ((arity == i) || ((arity < 0) && (-i-1 <= arity))); }