only locally make uPred_holds a coercion
uPred_holds
being a coercion globally breaks the uPred
abstraction. So only make it a coercion in modules that go into the model anyway.
While at it, I did the same for siProp
.
Edited by Ralf Jung
uPred_holds
being a coercion globally breaks the uPred
abstraction. So only make it a coercion in modules that go into the model anyway.
While at it, I did the same for siProp
.