Strong causality of components not properly handled in SMT-based schedule synthesis
Description
Strong causality is not properly handled in the schedule synthesis in
the case when a loop is not involved.
Desired behavior
If a strongly causal component A sends a signal to a component B, the
task corresponding to A is executed after the task corresponding to B.
(from redmine: issue id 3518, created on 2018-09-17, closed on 2018-09-18)