module ActiveFacts::Generators::OrderedTraits::Constraint