void reset_induction(void); /* induct.c */ int simple_select(term); /* called in getarg.c */ void undo_inductionvars(void);