The correct way to use polystate is: reason about program behavior through symbols, then transform these symbols into code.
https://github.com/sdzx-1/ray-game/blob/master/How-to-proper...