Set termination-strictp for defunc
Set whether termination is strict for defunc, i.e. whether defunc should abort or continue on failure to prove termination.
The default is set to t.