Clausal: tests modified