Analysis: Background analysis
Integrate analyses more transparently:
- for instance, A/G could be checked in the background as soon as the component is checked and would just display an error marker if the analysis does not pass
- an assumption could be automatically checked for non-contradiction
(from redmine: issue id 1934, created on 2014-02-13, closed on 2017-11-28)