Experimental

Sounds like a good idea, although this could cause trouble with some of the current solver implementations (CSP, Assert and Sutherland's Relaxation are not enable by default).

In the tests we frequently use the Function.shouldBeTrue method. Is this up-to-date, or can I rewrite these tests?