C#: Add change note

Author: hvitved

change-notes/1.19/analysis-csharp.md

@@ -2,8 +2,10 @@
 
 ## General improvements
 
-* The control flow graph construction now takes simple Boolean conditions on local scope variables into account. For example, in `if (b) x = 0; if (b) x = 1;`, the control flow graph will reflect that taking the `true` (resp. `false`) branch in the first condition implies taking the same branch in the second condition. In effect, the first assignment to `x` will now be identified as being dead.
-
+* Control flow graph improvements:
+  * The control flow graph construction now takes simple Boolean conditions on local scope variables into account. For example, in `if (b) x = 0; if (b) x = 1;`, the control flow graph will reflect that taking the `true` (resp. `false`) branch in the first condition implies taking the same branch in the second condition. In effect, the first assignment to `x` will now be identified as being dead.
+  * Constant failing assertions, such as `Debug.Assert(false)`, are now taken into account. Syntactic successors of constant failing assertions are consequently dead code.
+  
 ## New queries
 
 | **Query**                   | **Tags**  | **Purpose**                                                        |