This function erases all forward chaining tracking criteria and sets the
on-the-fly reporting flag to nil. The next time you set the criteria
(see set-fc-criteria) the short form of reports, in which only the
caller and the fc-report number is printed, will appear in your proof
logs.
