Legend for hpc markup colors
The hpc markup colors are not documented anywhere. Coming from an imperative background, red means never executed and green means executed at least once.
Here, green means always true, red means always false, yellow means never executed.
Adding a one-line legend at the top of the output file(s) describing the colours would help a lot. Suggesting
always true and
always false on a single line at the top with the same yellow, green and red background as the respective highlighted code would have.