Set body-contracts-strictp for defunc
Set whether defunc should abort or continue on failure to verify body contracts.
The default is set to t.