diff --git a/linter-4.2/src/TypeScriptLinter.ts b/linter-4.2/src/TypeScriptLinter.ts
index 9b9719ea27cda575100a71432b8eb1a55db942cf..3e2ff041a0e7975550f0801fb351bc6c2ecb5b82 100644
--- a/linter-4.2/src/TypeScriptLinter.ts
+++ b/linter-4.2/src/TypeScriptLinter.ts
@@ -61,6 +61,7 @@ export class TypeScriptLinter {
   currentErrorLine: number;
   currentWarningLine: number;
   staticBlocks: Set<string>;
+  walkedComments: Set<number>;
   libraryTypeCallDiagnosticChecker: LibraryTypeCallDiagnosticChecker;
 
   private sourceFile?: ts.SourceFile;
@@ -83,6 +84,7 @@ export class TypeScriptLinter {
     this.currentErrorLine = 0;
     this.currentWarningLine = 0;
     this.staticBlocks = new Set<string>();
+    this.walkedComments = new Set<number>();
     this.libraryTypeCallDiagnosticChecker = new LibraryTypeCallDiagnosticChecker(TypeScriptLinter.filteredDiagnosticMessages);
 
     for (let i = 0; i < FaultID.LAST_ID; i++) {
@@ -254,7 +256,12 @@ export class TypeScriptLinter {
         }
       }
 
-      ts.forEachChild(node, visitTSNodeImpl);
+      // #13972: The 'ts.forEachChild' doesn't iterate over in-between punctuation tokens.
+      // As result, we can miss comment directives attached to those. Instead, use 'node.getChildren()'.
+      // to traverse child nodes.
+      for (const child of node.getChildren()) {
+        visitTSNodeImpl(child);
+      }
     }
   }
 
@@ -1188,6 +1195,8 @@ export class TypeScriptLinter {
       ) {
         this.incrementCounters(node, FaultID.InstanceofUnsupported);
       }
+    } else if (tsBinaryExpr.operatorToken.kind === ts.SyntaxKind.InKeyword) {
+      this.incrementCounters(tsBinaryExpr.operatorToken, FaultID.InOperator);
     } else if (tsBinaryExpr.operatorToken.kind === ts.SyntaxKind.EqualsToken) {
       if (this.tsUtils.needToDeduceStructuralIdentity(rightOperandType, leftOperandType)) {
         this.incrementCounters(tsBinaryExpr, FaultID.StructuralIdentity);
@@ -2052,7 +2061,12 @@ export class TypeScriptLinter {
       );
       if (leadingComments) {
         for (const comment of leadingComments) {
-          this.checkErrorSuppressingAnnotation(comment, srcText);
+          // In the real-time linter comment from the first line is double proccessed.
+          // It may be caused by tsc, but it should be investigated. This is a workaround
+          if (!this.walkedComments.has(comment.pos) && comment.pos !== comment.end) {
+            this.walkedComments.add(comment.pos);
+            this.checkErrorSuppressingAnnotation(comment, srcText);
+          }
         }
       }
     }
@@ -2064,7 +2078,12 @@ export class TypeScriptLinter {
       );
       if (trailingComments) {
         for (const comment of trailingComments) {
-          this.checkErrorSuppressingAnnotation(comment, srcText);
+          // In the real-time linter comment from the first line is double proccessed.
+          // It may be caused by tsc, but it should be investigated. This is a workaround
+          if (!this.walkedComments.has(comment.pos) && comment.pos !== comment.end) {
+            this.walkedComments.add(comment.pos);
+            this.checkErrorSuppressingAnnotation(comment, srcText);
+          }
         }
       }
     }
@@ -2221,6 +2240,7 @@ export class TypeScriptLinter {
   }
 
   public lint(sourceFile: ts.SourceFile) {
+    this.walkedComments.clear();
     this.sourceFile = sourceFile;
     this.visitTSNode(this.sourceFile);
   }
diff --git a/linter-4.2/src/TypeScriptLinterConfig.ts b/linter-4.2/src/TypeScriptLinterConfig.ts
index fcb5d198883a2aa78e94a0ac6aa0cc9a8f00d64a..423c18076a9824f49637382a339d9372450c9c6e 100644
--- a/linter-4.2/src/TypeScriptLinterConfig.ts
+++ b/linter-4.2/src/TypeScriptLinterConfig.ts
@@ -175,7 +175,7 @@ export class LinterConfig {
     [ts.SyntaxKind.TypePredicate, FaultID.IsOperator], [ts.SyntaxKind.YieldExpression, FaultID.YieldExpression],
     [ts.SyntaxKind.IndexSignature, FaultID.IndexMember], [ts.SyntaxKind.WithStatement, FaultID.WithStatement],
     [ts.SyntaxKind.IndexedAccessType, FaultID.IndexedAccessType],[ts.SyntaxKind.UnknownKeyword, FaultID.UnknownType],
-    [ts.SyntaxKind.InKeyword, FaultID.InOperator], [ts.SyntaxKind.CallSignature, FaultID.CallSignature],
+    [ts.SyntaxKind.CallSignature, FaultID.CallSignature],
     [ts.SyntaxKind.IntersectionType, FaultID.IntersectionType],
     [ts.SyntaxKind.TypeLiteral, FaultID.ObjectTypeLiteral], [ts.SyntaxKind.ConstructorType, FaultID.ConstructorFuncs],
     [ts.SyntaxKind.PrivateIdentifier, FaultID.PrivateIdentifier],
diff --git a/linter-4.2/test/ts_ignore.ts.relax.json b/linter-4.2/test/ts_ignore.ts.relax.json
index d1f5176718b5277f4744fd1d2237f1bec3ddae0e..8342e17446884455c87371963122f1bc7a878529 100644
--- a/linter-4.2/test/ts_ignore.ts.relax.json
+++ b/linter-4.2/test/ts_ignore.ts.relax.json
@@ -17,62 +17,93 @@
         {
             "line": 16,
             "column": 1,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 21,
             "column": 3,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 25,
             "column": 19,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 30,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 33,
             "column": 2,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 43,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 52,
             "column": 3,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 53,
             "column": 3,
-            "problem": "AnyType"
+            "problem": "AnyType",
+            "suggest": "",
+            "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
         },
         {
             "line": 55,
             "column": 22,
-            "problem": "AnyType"
+            "problem": "AnyType",
+            "suggest": "",
+            "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
         },
         {
             "line": 56,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 58,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
+        },
+        {
+            "line": 75,
+            "column": 1,
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 18,
             "column": 5,
-            "problem": "StrictDiagnostic"
+            "problem": "StrictDiagnostic",
+            "suggest": "Type 'null' is not assignable to type 'number'.",
+            "rule": "Type 'null' is not assignable to type 'number'."
         }
     ]
-}
+}
\ No newline at end of file
diff --git a/linter-4.2/test/ts_ignore.ts.strict.json b/linter-4.2/test/ts_ignore.ts.strict.json
index d1f5176718b5277f4744fd1d2237f1bec3ddae0e..8342e17446884455c87371963122f1bc7a878529 100644
--- a/linter-4.2/test/ts_ignore.ts.strict.json
+++ b/linter-4.2/test/ts_ignore.ts.strict.json
@@ -17,62 +17,93 @@
         {
             "line": 16,
             "column": 1,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 21,
             "column": 3,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 25,
             "column": 19,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 30,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 33,
             "column": 2,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 43,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 52,
             "column": 3,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 53,
             "column": 3,
-            "problem": "AnyType"
+            "problem": "AnyType",
+            "suggest": "",
+            "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
         },
         {
             "line": 55,
             "column": 22,
-            "problem": "AnyType"
+            "problem": "AnyType",
+            "suggest": "",
+            "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
         },
         {
             "line": 56,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 58,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
+        },
+        {
+            "line": 75,
+            "column": 1,
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 18,
             "column": 5,
-            "problem": "StrictDiagnostic"
+            "problem": "StrictDiagnostic",
+            "suggest": "Type 'null' is not assignable to type 'number'.",
+            "rule": "Type 'null' is not assignable to type 'number'."
         }
     ]
-}
+}
\ No newline at end of file
diff --git a/linter/src/TypeScriptLinter.ts b/linter/src/TypeScriptLinter.ts
index 2b9e6c52ec3fb4f15780d9b7ae7470cd32c42bba..24b52a96da0f2e3499cb7be5df4fd945394c42e2 100644
--- a/linter/src/TypeScriptLinter.ts
+++ b/linter/src/TypeScriptLinter.ts
@@ -268,7 +268,13 @@ export class TypeScriptLinter {
           handler.call(self, node);
         }
       }
-      ts.forEachChild(node, visitTSNodeImpl);
+
+      // #13972: The 'ts.forEachChild' doesn't iterate over in-between punctuation tokens.
+      // As result, we can miss comment directives attached to those. Instead, use 'node.getChildren()'.
+      // to traverse child nodes.
+      for (const child of node.getChildren()) {
+        visitTSNodeImpl(child);
+      }
     }
   }
 
@@ -917,6 +923,9 @@ export class TypeScriptLinter {
       case ts.SyntaxKind.InstanceOfKeyword:
         this.processBinaryInstanceOf(node, tsLhsExpr, leftOperandType);
         break;
+      case ts.SyntaxKind.InKeyword:
+        this.incrementCounters(tsBinaryExpr.operatorToken, FaultID.InOperator);
+        break;
       case ts.SyntaxKind.EqualsToken:
         if (this.tsUtils.needToDeduceStructuralIdentity(rightOperandType, leftOperandType)) {
           this.incrementCounters(tsBinaryExpr, FaultID.StructuralIdentity);
diff --git a/linter/src/TypeScriptLinterConfig.ts b/linter/src/TypeScriptLinterConfig.ts
index 83427d5e63c20733b731268d43e9e2951a431150..03ebd743e2ff0bbe54212b5ecd0ef7510060c2cb 100644
--- a/linter/src/TypeScriptLinterConfig.ts
+++ b/linter/src/TypeScriptLinterConfig.ts
@@ -81,7 +81,7 @@ export class LinterConfig {
     [ts.SyntaxKind.TypePredicate, FaultID.IsOperator], [ts.SyntaxKind.YieldExpression, FaultID.YieldExpression],
     [ts.SyntaxKind.IndexSignature, FaultID.IndexMember], [ts.SyntaxKind.WithStatement, FaultID.WithStatement],
     [ts.SyntaxKind.IndexedAccessType, FaultID.IndexedAccessType], [ts.SyntaxKind.UnknownKeyword, FaultID.UnknownType],
-    [ts.SyntaxKind.InKeyword, FaultID.InOperator], [ts.SyntaxKind.CallSignature, FaultID.CallSignature],
+    [ts.SyntaxKind.CallSignature, FaultID.CallSignature],
     [ts.SyntaxKind.IntersectionType, FaultID.IntersectionType],
     [ts.SyntaxKind.TypeLiteral, FaultID.ObjectTypeLiteral], [ts.SyntaxKind.ConstructorType, FaultID.ConstructorFuncs],
     [ts.SyntaxKind.PrivateIdentifier, FaultID.PrivateIdentifier],
diff --git a/linter/test/ts_ignore.ts.relax.json b/linter/test/ts_ignore.ts.relax.json
index d1f5176718b5277f4744fd1d2237f1bec3ddae0e..8342e17446884455c87371963122f1bc7a878529 100644
--- a/linter/test/ts_ignore.ts.relax.json
+++ b/linter/test/ts_ignore.ts.relax.json
@@ -17,62 +17,93 @@
         {
             "line": 16,
             "column": 1,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 21,
             "column": 3,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 25,
             "column": 19,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 30,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 33,
             "column": 2,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 43,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 52,
             "column": 3,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 53,
             "column": 3,
-            "problem": "AnyType"
+            "problem": "AnyType",
+            "suggest": "",
+            "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
         },
         {
             "line": 55,
             "column": 22,
-            "problem": "AnyType"
+            "problem": "AnyType",
+            "suggest": "",
+            "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
         },
         {
             "line": 56,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 58,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
+        },
+        {
+            "line": 75,
+            "column": 1,
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 18,
             "column": 5,
-            "problem": "StrictDiagnostic"
+            "problem": "StrictDiagnostic",
+            "suggest": "Type 'null' is not assignable to type 'number'.",
+            "rule": "Type 'null' is not assignable to type 'number'."
         }
     ]
-}
+}
\ No newline at end of file
diff --git a/linter/test/ts_ignore.ts.strict.json b/linter/test/ts_ignore.ts.strict.json
index d1f5176718b5277f4744fd1d2237f1bec3ddae0e..8342e17446884455c87371963122f1bc7a878529 100644
--- a/linter/test/ts_ignore.ts.strict.json
+++ b/linter/test/ts_ignore.ts.strict.json
@@ -17,62 +17,93 @@
         {
             "line": 16,
             "column": 1,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 21,
             "column": 3,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 25,
             "column": 19,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 30,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 33,
             "column": 2,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 43,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 52,
             "column": 3,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 53,
             "column": 3,
-            "problem": "AnyType"
+            "problem": "AnyType",
+            "suggest": "",
+            "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
         },
         {
             "line": 55,
             "column": 22,
-            "problem": "AnyType"
+            "problem": "AnyType",
+            "suggest": "",
+            "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
         },
         {
             "line": 56,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 58,
             "column": 9,
-            "problem": "ErrorSuppression"
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
+        },
+        {
+            "line": 75,
+            "column": 1,
+            "problem": "ErrorSuppression",
+            "suggest": "",
+            "rule": "Switching off type checks with in-place comments is not allowed (arkts-strict-typing-required)"
         },
         {
             "line": 18,
             "column": 5,
-            "problem": "StrictDiagnostic"
+            "problem": "StrictDiagnostic",
+            "suggest": "Type 'null' is not assignable to type 'number'.",
+            "rule": "Type 'null' is not assignable to type 'number'."
         }
     ]
-}
+}
\ No newline at end of file