Do not quit on lua error: let a chance for the user to correct the bug.
Test8 is here to test a constraints propagation technique.