modify pprStm for DoNothing
fix a bug in reduceStm for While statememt