• delete_if_variables_have_same_symbol() : read_write_analysis.cpp
• get_all_and_events() : event_conflict_table.cpp
• symbol_is_in_set() : read_write_analysis.cpp