Reports variables that are always
true
(or always
false
) when reached.