* Add 100% mutation covered specs * Bring this lib to the same quality level like other dm2 stuff * Extract boolean logic from veritas into axiom-logic and use instead of Matchers.