return getAddress() + ": " + getLHS().toString() + " = " + phi.toString();
if (isDeadCode()) { return getAddress() + ": " + "            nop (pruned phi)"; } else { return getAddress() + ": " + getLHS() + " = " + phi; }
	public String toString() {		return getAddress() + ": " + getLHS().toString() + " = " + phi.toString();	}