Added implementation of a field accessor instrumentation. Added method for validating a byte code element's visibility from a given type.