p_runGraph :: Command -> Bool
prop_runGraph cmd =
  runGraph (addCommand cmd) == [formatCommand cmd]

p
prop_runGraph :: Command -> Bool
prop_runGraph cmd =
  runGraph (addCommand cmd) == [formatCommand cmd]
prop_runGraph cmd =
  runGraph (addCommand cmd) == [formatCommand cmd]