Model checking considers too much information when checking the syntax
I am in the list of A/G, contracts, … and I have a syntactical error in
one expression.
If I click on another expression in this list, and press “Check
selected”, an error message occurs, although the error is not in the
expression I want to check at that moment.
This is really irritating and it costs a lot of time to find the error
in my model.
(from redmine: issue id 1558, created on 2013-08-01, closed on 2018-01-29)