Move start value setup before ida init

Otherwise, start values seem to be ignored.

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Fix effect check

This was actually a stupid bug...

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Remove debug output

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Add test for start values

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>
Let events decide about reinit

We could also implement a schedule_reinit monad.

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>