pub fn compose( subgraphs: Vec<Subgraph<Initial>>, ) -> Result<Supergraph<Satisfiable>, Vec<CompositionError>>