12 #ifndef CPROVER_GOTO_INSTRUMENT_WMM_INSTRUMENTER_PENSIEVE_H 13 #define CPROVER_GOTO_INSTRUMENT_WMM_INSTRUMENTER_PENSIEVE_H 41 #endif // CPROVER_GOTO_INSTRUMENT_WMM_INSTRUMENTER_PENSIEVE_H instrumenter_pensievet(goto_modelt &_goto_model, messaget &message)
void collect_pairs(namespacet &ns)
void collect_pairs_naive(namespacet &ns)
void collect_pairs_naive(namespacet &ns)
void collect_pairs(namespacet &ns)