Correction of README.md

README.md

@@ -125,8 +125,7 @@ The syntax of formulas is as follows:
 - ``b:x`` is the ``(x+1)``th procedure argument
 - ``__top`` is equivalent to ``l:0`` (the root loop scope)
 - ``loops:`` contains information about loops hierarchy, where
-  elements of ``X _c Y`` form state that ``the loop X is in the body
-  of the loop Y``
+  elements of ``X _c Y`` form state that ``the loop X contains the loop Y``
 - ``endl`` indicates the end of the formula
 
 The instantiator C codes and binaries are generated in