protected RegionVar getUniqueRegionOf(Var var) { assert (var != null && varmap.get(var) != null) : " Var " + var + method + " " + var.getDeclaringMethod(); Node node = (varmap.get(var)).get(null); if (node == null) return null; return node.getRep().getRegion(); }