Changed the way witnesses for distinct downward closures (and thus
distinct languages) are calculated; specifically, resorted to using the
relative complement instead of complement with respect to Sigma* for
memory usage reasons.