Set force-ic-hyps-in-contract-thmp for defunc
Set whether defunc should force the hypotheses in the contract theorems it generates.
The default is set to t.