Update docstrings/comments in response to review.

Author: Guido van Rossum

mypy/build.py

@@ -1694,8 +1694,8 @@ def order_ascc(graph: Graph, ascc: AbstractSet[str], pri_max: int = PRI_ALL) ->
     each SCC thus found.  The recursion is bounded because at each
     recursion the spread in priorities is (at least) one less.
 
-    In practice there are only a few priority levels (currently
-    N=3) and in the worst case we just carry out the same algorithm
+    In practice there are only a few priority levels (less than a
+    dozen) and in the worst case we just carry out the same algorithm
     for finding SCCs N times.  Thus the complexity is no worse than
     the complexity of the original SCC-finding algorithm -- see
     strongly_connected_components() below for a reference.

mypy/semanal.py

@@ -2993,11 +2993,11 @@ def infer_reachability_of_if_statement(s: IfStmt,
     for i in range(len(s.expr)):
         result = infer_if_condition_value(s.expr[i], pyversion, platform)
         if result in (ALWAYS_FALSE, MYPY_FALSE):
-            # The condition is always false, so we skip the if/elif body.
+            # The condition is considered always false, so we skip the if/elif body.
             mark_block_unreachable(s.body[i])
         elif result in (ALWAYS_TRUE, MYPY_TRUE):
-            # This condition is always true, so all of the remaining
-            # elif/else bodies will never be executed.
+            # This condition is considered always true, so all of the remaining
+            # elif/else bodies should not be checked.
             if result == MYPY_TRUE:
                 # This condition is false at runtime; this will affect
                 # import priorities.