Port initial value might be useless
For weakly causal components, the initial value is neglected both by the
simulator and the NuSMV model checker.
For strongly causal components, the initial value is taken into account.
(from redmine: issue id 1485, created on 2013-07-15, closed on 2016-06-30)