=== Highlighting

Primary: condition which always evaluates to the same value

* Secondary: 
**  Parts of code which are never reached with message "Never reached"
* Flow
** The last locations in the code leading to know something on each variable part of the condition.