Fixed the diasgreement between propagation and entailment.
Reduce the size of the randomized tests.
Fixed and refactored tests.
Fixed multi-objective for cases where some of the objectives are known at compile time.
Use views.