Revised method-statements/2 according to new reification of non-AST
property values.
ICFG traversal does not descend into JDK methods (should be revised
later). New relations: soot|method-soot|unit,
soot|unit|reads-soot|field, soot|unit|writes-soot|field.