invariant

inline fun <A> A.invariant(predicate: Predicate<A>, msg: Messager): A