make assertions about declarations being kept