Rewrite top condition in the Set::compute method