COVER: Change-based goal verifier and reasoner