for (Unit unit : defsOfAt) {
if (unit instanceof JAssignStmt) {
JAssignStmt assign = (JAssignStmt) unit;
values.add(assign.getRightOp());
} else if (unit instanceof JIdentityStmt) {
JIdentityStmt identity = (JIdentityStmt) unit;
values.add(identity.getRightOp());
} else {
throw new RuntimeException(
"getReachingValues: unknown type "
+ unit.getClass() + " at \""
+ unit.toString() + "\" in "