spin: replace else stmts with concrete conditions b/c verifier has problems with jumps?
error: proctype '%s' state %d, inherits %d 'else' stmts
http://web.mit.edu/spin_v4.2.5/Src4.2.5/pangen2.h