Compositional Optimization of Disjunctive Abstract Interpretations