Analysis: Check assumptions for non-contradiction
Contradictory assumptions (in A/G contracts) completely screw any analysis.
Therefore would be nice to provide some check for that.
(from redmine: issue id 1935, created on 2014-02-13, closed on 2017-12-13)
- Relations:
- duplicates #1968 (closed)