Remove inclusion of unused header.
Add the possibility to interrupt an evaluation.
First test for interrupt.
Const accessor for the interruption result.
Remove useless try/catch.
Don't add an empty successor to a square union.
Fix wrong try/catch location.
More tests.
More tests for the interrupt exception.
More tests for the interrupt exception.
Merge branch 'master' into force