Set force-ic-hyps-in-definitionp for defunc
Set whether defunc should force the hypotheses (input contract) in the definition rules it generates.
The default is set to nil.