12 #ifndef CPROVER_GOTO_INSTRUMENT_WMM_INSTRUMENTER_PENSIEVE_H 13 #define CPROVER_GOTO_INSTRUMENT_WMM_INSTRUMENTER_PENSIEVE_H 43 #endif // CPROVER_GOTO_INSTRUMENT_WMM_INSTRUMENTER_PENSIEVE_H void collect_pairs(namespacet &ns)
instrumenter_pensievet(symbol_tablet &_symbol_table, goto_functionst &_goto_f, messaget &message)
void collect_pairs_naive(namespacet &ns)
void collect_pairs_naive(namespacet &ns)
void collect_pairs(namespacet &ns)