diff --git a/app/Version.hs b/app/Version.hs
--- a/app/Version.hs
+++ b/app/Version.hs
@@ -6,7 +6,7 @@
 prettyVersion = "Mulang Release " ++ version ++ ", compiled on " ++ compilationTimestamp
 
 version :: String
-version = "4.2.1"
+version = "4.3.0"
 
 compilationTimestamp :: String
 compilationTimestamp = __DATE__ ++ " " ++ __TIME__
diff --git a/mulang.cabal b/mulang.cabal
--- a/mulang.cabal
+++ b/mulang.cabal
@@ -1,5 +1,5 @@
 name:                mulang
-version:             4.2.1
+version:             4.3.0
 synopsis:            An intermediate language designed to perform advanced code analysis
 description:         Mulang is an intermediate language, a combinators library for static code analysis and a multilanguage comand line tool
 license:             GPL
diff --git a/src/Language/Mulang/Analyzer/ExpectationsCompiler.hs b/src/Language/Mulang/Analyzer/ExpectationsCompiler.hs
--- a/src/Language/Mulang/Analyzer/ExpectationsCompiler.hs
+++ b/src/Language/Mulang/Analyzer/ExpectationsCompiler.hs
@@ -108,6 +108,7 @@
   f "UsesIf"                         = simple usesIf
   f "UsesInheritance"                = simple usesInheritance
   f "UsesLambda"                     = simple usesLambda
+  f "UsesLoop"                       = simple usesLoop
   f "UsesMixins"                     = simple usesMixins
   f "UsesNot"                        = simple usesNot
   f "UsesObjectComposition"          = simple usesObjectComposition
diff --git a/src/Language/Mulang/Inspector/Procedural.hs b/src/Language/Mulang/Inspector/Procedural.hs
--- a/src/Language/Mulang/Inspector/Procedural.hs
+++ b/src/Language/Mulang/Inspector/Procedural.hs
@@ -4,6 +4,7 @@
   usesSwitch,
   usesForEach,
   usesForLoop,
+  usesLoop,
   declaresProcedure) where
 
 import Language.Mulang.Ast
@@ -45,3 +46,6 @@
 usesForLoop = containsExpression f
   where f (ForLoop _ _ _ _) = True
         f _                 = False
+
+usesLoop :: Inspection
+usesLoop e = usesRepeat e || usesWhile e || usesForLoop e || usesForEach e