Test also other propagation strategies
Currently, the whole test suite uses the Adaptive
on-the-fly propagation strategy however COOL also offers other strategies that should also be tested.
Ideally, we write a property-based test checking that the propagation strategy parameter doesn't affect SAT results.