module Contracts::Invariants::InvariantExtension