Relation between a read and the assignment that it depends on
Dependency edges synchronized + volatile
Including fields from super classes
Prefix ++ and -- AND list of methods instead of set because methods with the same name were lost