disj_to_top will not longer panic at NOT(In...)