Fix p check replay bug and stately code generator bug (#654)

Fix p check replay bug and stately code generator bug (#654) #58