Dump SIMPLIFY-JUSTIFICATION.