reportLiskovProblem

fun reportLiskovProblem(expression: Element, msg: String)