reportInconsistentInvariants

fun reportInconsistentInvariants(expression: Element, msg: String)