Currently we allow unsupported verification conditions in the model-checker
e.g. member access like “a.b”
(from redmine: issue id 1167, created on 2013-01-17, closed on 2013-01-17)
e.g. member access like “a.b”
(from redmine: issue id 1167, created on 2013-01-17, closed on 2013-01-17)