Don't find equivalent lits with gates. SCC will do a good job.