Just wanted to add it to the list of things to think about:
public void SetPendingChoicesAsBoolean(PrtStateMachine process)
{
throw new NotImplementedException();
}
I am going to add the following function to PStateImpl.
This function implements choose(bool).
Do you want to support choose(seq[*]). I find it useful sometimes.