class Contracts::Invariants::Invariant