Dump DERIVABILITY-PROBLEM class.