module Contracts::Invariants