  It is shown that disjunction of two switch-lists can blow up the
representation size exponentially. Since switch-lists can be negated without
any increase in size, this shows that conjunction of switch-lists also leads to
an exponential blow-up in general.
