Produces arity()
Limited dangling to ground rules