KelvinLi2020

When C# code instantiates a state machine, and if the corresponding P function signature does not declare `creates`, then an internal P error is returned. P code: ``` test TestCase...