Apply review suggestions, iteration #2.

Author: sgrekhov

TypeSystem/flow-analysis/reachability_A22_t05.dart

@@ -12,10 +12,10 @@
 /// - Otherwise:
 ///   - Let `after(N) = after(E2)`.
 ///
-/// @description Checks that if the static type of the expression of the form
-/// `E1.m1(E2)` static type of `E1`is not `Never` then `after(N) = after(E2)`,
-/// which is tested by detecting that `i = 42` is considered to be guaranteed
-/// to have been executed when `i;` is executed.
+/// @description Checks that for an expression of the form `E1.m1(E2)`, if the
+/// static type of `E1` is not `Never` then `after(N) = after(E2)`. This is
+/// tested by detecting that `i = 42` is considered to be guaranteed to have
+/// been executed when `i;` is executed.
 /// @author sgrekhov22@gmail.com
 
 class C {

TypeSystem/flow-analysis/reachability_A22_t06.dart

@@ -12,11 +12,11 @@
 /// - Otherwise:
 ///   - Let `after(N) = after(E2)`.
 ///
-/// @description Checks that if the static type of the expression of the form
-/// `E1.m1(E2)` static type of `E1`is not `Never` then `after(N) = after(E2)`,
-/// which is tested by detecting that `i = 42` is considered to be guaranteed
-/// to have been executed when `i;` is executed. Test the case when `m1` is a
-/// getter returning a function type.
+/// @description Checks that for an expression of the form `E1.m1(E2)`, if the
+/// static type of `E1` is not `Never` then `after(N) = after(E2)`. This is
+/// tested by detecting that `i = 42` is considered to be guaranteed to have
+/// been executed when `i;` is executed. Test the case when `m1` is a getter
+/// returning a function type.
 /// @author sgrekhov22@gmail.com
 
 class C {

TypeSystem/flow-analysis/reachability_A22_t07.dart

@@ -14,7 +14,7 @@
 ///
 /// @description Checks that for an expression of the form `E1.m1(E2)`
 /// `before(E2) = after(E1)`. Test that if `m1` is a getter returning type
-/// `Never` then `before(E2)` is also unreachable.
+/// `Never` then `before(E2)` is unreachable.
 /// @author sgrekhov22@gmail.com
 
 class C<T extends Never> {