Method getLiveLocalsBefore() in class SimpleLiveLocals should reference Map stmtToLocalsBefore rather than stmtToLocalsAfter (this causes the method to return the locals live after a statement rather than before). Jay