Predicate InexactVarArg::equivalent

predicate equivalent(Array declared, Array used)