Shutdown failed, aborting.

[Bart Bogaerts]

One test: idp/tests/mx/satmx/SATFGroups.idp in setting ModelExpansion/MXsatTest.DoesMXWithCP is timing out. However, when terminated, we get the output

Timed-out

Shutdown failed, aborting.

Aborted (core dumped)

Which causes the entire test framework to stop.

[Bart Bogaerts]

Made the "updatedomain" method more readable and fixed missing return

By adding the missing return, not too much propagation is done This fixes #273

→ <<cset c9f371532a81>>

[Broes De Cat]

Made the "updatedomain" method more readable and fixed missing return

By adding the missing return, not too much propagation is done This fixes #273

→ <<cset 0630738b4649>>