Set function-contract-strictp for defunc
Set whether defunc should abort or continue on failure to prove function contract.
The default is set to t.