preventing neg rules from attempting to introduce variables