PointerKey pVal = val.getPointerKey(); List<InstanceKey> instances = system.getInstances(rhs.getValue()); boolean sideEffect = false; for (InstanceKey I : instances) {
PointerKey pVal = val.getPointerKey(); List<InstanceKey> instances = system.getInstances(rhs.getValue()); boolean sideEffect = false; for (InstanceKey I : instances) {