制約の後件についての確認事項

```
INIT <=> x=0.
STEADY <=> [](x'=0).
EOM <=> [](t>=10 => [](10*x'+10*x=10)).

INIT, STEADY << EOM.
```

このときにEOMの二つ目のalways[]がないと正しい挙動にならないのはおかしいはず
`(EOM <=> [](t>=10 => (10*x'+10*x=10)).` とするとxは原点から動かない)