minor
before switching to big-step for >>=
simulation with n=0 done