CFG cfg = classContext.getCFG(method);
// Get the variable referenced in the pattern instance.
BindingSet bindingSet = match.getBindingSet();
Binding binding = bindingSet.lookup("f");
// Look up the field as an XField.
// If it is volatile, then the instance is not a bug.
FieldVariable field = (FieldVariable) binding.getVariable();
XField xfield = Hierarchy.findXField(field.getClassName(), field.getFieldName(), field.getFieldSig(),