Implementation of the paper "A Combined Pointer and Purity Analysis for
Java Programs" by Alexandru Salcianu and Martin Rinard, within the
Soot Optimization Framework.
by Antoine Mine, 2005/01/24
A node created dynamically and attached to a statement Stmt.
Can be either an inside or a load node.
Two such nodes are equal if and only if they have the same inside / load
flag and are attached to the same statement (we use Stmt.equal here).
Statement that created the node
true if an inside node, false if an load node
gives a unique id, for pretty-printing purposes
private static int n = 0;