pre-initial cycling simplifier: fix entire conditional elimination bug

This fixes the case where the entirety of the conditional to be simplified is to be eliminated by the pre-initial cycling simplifier e.g. "a[T-6] | b[T-6] => c". Previously this broke as only a would be eliminated from the conditional but its label would be successfully eliminated.