Mean to say:
"The problem is that FIND-FREE-FUN returns the defined-fun which has the functional from the SAFETY 0 call for the SAFETY 3 call, and consequently the functional converted in the earlier policy gets used."
Mean to say:
"The problem is that FIND-FREE-FUN returns the defined-fun which has the functional from the SAFETY 0 call for the SAFETY 3 call, and consequently the functional converted in the earlier policy gets used."