Constraints that do not involve self_name should not generate a quantification anticedent.
Log in to post a comment.