Naming: s for stuckness bits.

naming.txt

@@ -14,10 +14,10 @@ l
 m : iGst = ghost state
 n
 o
-p : progress bits
+p
 q
 r : iRes = resources
-s : state (STSs)
+s : state (STSs), stuckness bits
 t
 u
 v : val = values of language