diff --git a/ets2panda/ast_verifier/ASTVerifier.h b/ets2panda/ast_verifier/ASTVerifier.h
index 9aaa1aecc3e55d08feea243f73b2f6329e0b46f7..1bd190ef7657372f5f3b05fa905c94602a9fbac7 100644
--- a/ets2panda/ast_verifier/ASTVerifier.h
+++ b/ets2panda/ast_verifier/ASTVerifier.h
@@ -129,7 +129,8 @@ public:
                  i <= VerifierInvariants::AFTER_CHECKER_PHASE_LAST; i++) {
                 allowed_[i] = true;
             }
-            // NOTE(dkofanov): This should be called after "NumberLowering" phase:
+        }
+        if (occurredPhaseName == "Unbox") {
             Get<NoPrimitiveTypes>()->SetNumberLoweringOccured();
         }
         if (occurredPhaseName == "UnionLowering") {