  describe "Testing whether an example of an LCirc has coherent semantics" $ do
    it "compatible lgraph node composition" $ do
      let n1 = mkNodes [1, 2, 3 :: NodeId]
          n2 = mkNodes [4, 5, 6 :: NodeId]
          m12 = Map.fromList $ [(5, \c-> if (c == 5) then 1 else c), (4, \c-> if c == 4 then 2 else c)]
      compNodes n1 n2 m12 `shouldBe` (mkNodes [1, 2, 3, 6])
    it "compatible lgraph edge composition" $ do
      let e1 = edges circuitEx