diff --git a/src/ltltest/kind.test b/src/ltltest/kind.test
index c1e61d7ad..4ea1d9af2 100755
--- a/src/ltltest/kind.test
+++ b/src/ltltest/kind.test
@@ -84,19 +84,19 @@ check '{a;c|d;b}<>->!FGb' '&xPr'
 check '{a:b:c:d}!' 'B&!xfLEPSFsgopr'  # Equivalent to a&b&c&d
 check 'a&b&c&d'    'B&!xfLEPSFsgopr'
 check '(Xa <-> XXXc) U (b & Fe)' 'LPgopr'
-check '(!X(a|X(!b))&(FX(g xor h)))U(!G(a|b))' 'LPgopr'
-check '(!X(a|X(!b))&(GX(g xor h)))R(!F(a|b))' 'LPsopr'
-check '(!X(a|X(!b))&(GX(g xor h)))U(!G(a|b))' 'LPopr'
-check '(!X(a|X(!b))&(FX(g xor h)))R(!F(a|b))' 'LPopr'
+check '(!X(a|X(!b))&(FX(g xor h)))U(!G(a|b))' 'LPegopr'
+check '(!X(a|X(!b))&(GX(g xor h)))R(!F(a|b))' 'LPusopr'
+check '(!X(a|X(!b))&(GX(g xor h)))U(!G(a|b))' 'LPeopr'
+check '(!X(a|X(!b))&(FX(g xor h)))R(!F(a|b))' 'LPuopr'
 check '(!X(a|X(!b))&(GX(g xor h)))U(!F(a|b))' 'LPp'
 check '(!X(a|X(!b))&(FX(g xor h)))R(!G(a|b))' 'LPr'
 check '(!X(a|GXF(!b))&(FGX(g xor h)))U(!F(a|b))' 'LPp'
-check '(!X(a|GXF(!b))&(FGX(g xor h)))R(!F(a|b))' 'LPp'
+check '(!X(a|GXF(!b))&(FGX(g xor h)))R(!F(a|b))' 'LPup'
 check '(!X(a|FXG(!b))&(GFX(g xor h)))R(!G(a|b))' 'LPr'
-check '(!X(a|FXG(!b))&(GFX(g xor h)))U(!G(a|b))' 'LPr'
-check '(!X(a|GXF(!b))&(FGX(g xor h)))U(!G(a|Fb))' 'LPp'
+check '(!X(a|FXG(!b))&(GFX(g xor h)))U(!G(a|b))' 'LPer'
+check '(!X(a|GXF(!b))&(FGX(g xor h)))U(!G(a|Fb))' 'LPep'
 check '(!X(a|GXF(!b))&(FGX(g xor h)))U(!F(a|Gb))' 'LP'
-check '(!X(a|FXG(!b))&(GFX(g xor h)))R(!F(a|Gb))' 'LPr'
+check '(!X(a|FXG(!b))&(GFX(g xor h)))R(!F(a|Gb))' 'LPur'
 check '(!X(a|FXG(!b))&(GFX(g xor h)))R(!G(a|Fb))' 'LP'
 check 'GFa M GFb' '&!xLPeu'
 check 'FGa M FGb' '&!xLPeup'