Code equation for pfun_entries

[RandallYe]

When I simulate a CSP process with an exception operator

(P) ⟦ set [terminate_GasAnalysis_C ()] ▷ skip

, the error below occurred.

*** Exception: Partial_Fun.hs:35:1-70: Non-exhaustive patterns in function pfun_entries

[RandallYe]

Had a look at the definition of the exception operator in interaction trees. Maybe the problem is with the definition, not Z_Toolkit here.