Policy Alignment Checking: Removing Invented Rules and Promises