Consistency check constraints

- refresh locals
- remove invoked method artefacts