12 #ifndef CPROVER_GOTO_PROGRAMS_INSTRUMENT_PRECONDITIONS_H 13 #define CPROVER_GOTO_PROGRAMS_INSTRUMENT_PRECONDITIONS_H 21 #endif // CPROVER_GOTO_PROGRAMS_INSTRUMENT_PRECONDITIONS_H void remove_preconditions(goto_modelt &)
void instrument_preconditions(goto_modelt &)