IDEA-125070 Arranger: exception is thrown during rearrangement of empty xml
new inference: teach strict subtyping constraint about intersection types (IDEA-129727)