esented by access paths rooted at method parameters must have equal access paths to compare equal. Paths rooted at locals are ignored.</li><li>Equality for comparing two addresses in two distinct threads/traces. Globals and class objects are compared in the same way, but locks represented by access paths rooted at parameters need only have equal access lists (ie <code>x.f.g == y.f.g</code>). This allows demonically aliasing parameters in *distinct* threads. This relation is used in <code>may_deadlock</code>