when minimizing number of positive matrix entries, first try to find a subset

minimize is expensive (uses Ersatz.Counting)

before looking for a matrix interpretation with fewer nonzeroes, look for an interpretation where the nonzeroes are a strict subset (then we don't need to count)