Replace CL-TEST-MORE by prove.