MIRA: check sorting of formal specifications
Due to dead code: check, whether sorting works correctly
(from redmine: issue id 2260, created on 2015-02-02, closed on 2015-05-28)
Due to dead code: check, whether sorting works correctly
(from redmine: issue id 2260, created on 2015-02-02, closed on 2015-05-28)