* better error/detection for the condition invariant invalidation
