Compositional Safety LTL Synthesis