void (Exprent oldExpr, Exprent newExpr) { if (initExprent.get(0) == oldExpr) { initExprent.set(0, newExpr); } if (conditionExprent.get(0) == oldExpr) { conditionExprent.set(0, newExpr); } if (incExprent.get(0) == oldExpr) { incExprent.set(0, newExpr); } }