SMT Scheduler does not handle strong causality
E.g. in the attached example, one of the following schedules is expected
- C1, C4, C2, C3
- C4, C1, C2, C3
However, the obtained order is:
- C2, C3, C1, C4
(from redmine: issue id 3343, created on 2018-03-23, closed on 2018-03-29)