Highlight invariants as errored if they are FALSE, for PROB2UI-46
Highlight invariants as errored if they are FALSE, for PROB2UI-46

bendisposto/prob2-ui,bendisposto/prob2-ui,bendisposto/prob2-ui,bendisposto/prob2-ui