push_name          43 src/UniquifyVariableNames.cpp         push_name(op->name);
push_name          60 src/UniquifyVariableNames.cpp         push_name(op->name);
push_name          78 src/UniquifyVariableNames.cpp         push_name(op->name);