This PassVerifier verifies a method of class file according to pass 3,
so-called structural verification as described in The Java Virtual Machine
Specification, 2nd edition.
More detailed information is to be found at the do_verify() method's
Pass 3b implements the data flow analysis as described in the Java Virtual
Machine Specification, Second Edition.
Later versions will use LocalVariablesInfo objects to verify if the
verifier-inferred types and the class file's debug information (LocalVariables
attributes) match [TODO].