dev: implements Visit(AssemblyElement) of

RestrictingReferenceAssertion.