Updated DisjointnessDisambiguator to cope with undisambiguatable
assertions.