Show messages for assert and refute failures.
Constrain instance variables inside scopes.
Check if instance variables from a scope are inaccessible from another scope.
Instance variables defined inside scopes are inaccessible outside a scope.