ksmt-core/io.ksmt.expr.rewrite.simplify/KExprSimplifier/postRewrite

postRewrite

fun postRewrite(original: KExpr<*>, rewritten: KExpr<*>)