diff --git a/tests.aconversion.sh b/tests.aconversion.sh
index cab71cbcdc2de9b6df876bc85a916e7ac1265fef..bb4d4735e06d1ab31a8f44c0ca9891f74f3b815f 100644
--- a/tests.aconversion.sh
+++ b/tests.aconversion.sh
@@ -115,10 +115,12 @@ function runTest {
 }
 
 # FA -> RG -> FA
-runTest "./aconversion -t RRG | ./aconversion -t FA" 
-runTest "./aconversion -t LRG | ./aconversion -t FA"
+# covers: FA -> LRG, FA -> RRG, RRG <-> LRG, RRG -> FA, LRG -> FA
+runTest "./aconversion -t RRG | ./aconversion -t LRG | ./aconversion -t FA" 
+runTest "./aconversion -t LRG | ./aconversion -t RRG | ./aconversion -t FA"
 
 # FA -> RE -> FA
+# covers: FA -> RE (Brzozowski algebraic, elimination), RE -> FA (Brzozowski derivation, Thompson, Glushkov)
 runTest "./aconversion -t RE -a algebraic | ./aconversion -t FA -a brzozowski"
 runTest "./aconversion -t RE -a algebraic | ./aconversion -t FA -a thompson"
 runTest "./aconversion -t RE -a algebraic | ./aconversion -t FA -a glushkov "
@@ -127,12 +129,17 @@ runTest "./aconversion -t RE -a elimination | ./aconversion -t FA -a thompson"
 runTest "./aconversion -t RE -a elimination | ./aconversion -t FA -a glushkov"
 
 # FA -> RE -> RRG -> LRG -> FA
+# covers: FA -> RE (Brz. algebraic, elimination), RE -> RRG ( Brz. derivation, Glushkov), RRG -> LRG, LRG -> FA
 runTest "./aconversion -t RE -a algebraic | ./aconversion -t RRG -a brzozowski | ./aconversion -t LRG | ./aconversion -t FA"
 runTest "./aconversion -t RE -a algebraic | ./aconversion -t RRG -a glushkov | ./aconversion -t LRG | ./aconversion -t FA"
 runTest "./aconversion -t RE -a elimination | ./aconversion -t RRG -a brzozowski | ./aconversion -t LRG | ./aconversion -t FA"
 runTest "./aconversion -t RE -a elimination | ./aconversion -t RRG -a glushkov | ./aconversion -t LRG | ./aconversion -t FA"
 
 # FA -> RRG -> RE -> FA
+# covers: FA -> RRG, FA -> LRG, RRG -> RE, LRG -> RE, RE -> FA (Brz. derivation, Thompson, Glushkov)
 runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA brzozowski"
+runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA brzozowski"
 runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA thompson"
+runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA thompson"
 runTest "./aconversion -t RRG | ./aconversion -t RE | ./aconversion -t FA glushkov"
+runTest "./aconversion -t LRG | ./aconversion -t RE | ./aconversion -t FA glushkov"