support bigger rules in arity feature