minimize-clause (oracle clause &key multiple (multiple nil))

Change CLAUSE destructively to turn it into a support-minimal true clause for ORACLE. If MULTIPLE is non-nil, return a list with at least 1 entry, the minimized version of CLAUSE and possible additional minimal clauses derived from it. The first result is the modified argument, the others are copies.