guarded access

Checks that guarded objects are only accessed through guard objects.