SPLIT A Compositional LTL Verifier