Object which stores which fields are loaded and stored
by the instructions in a method (including through inner-class
access methods), and also which fields are loaded/stored
by the overall method.
Front-end for LockDataflow that can avoid doing unnecessary work
(e.g., actually performing the lock dataflow)
if the method analyzed does not contain explicit
monitorenter/monitorexit instructions.