p_runGraphRaw :: Command -> Bool
prop_runGraphRaw cmd =
  runGraphRaw (addCommand cmd) == [cmd]

p
prop_runGraphRaw :: Command -> Bool
prop_runGraphRaw cmd =
  runGraphRaw (addCommand cmd) == [cmd]
prop_runGraphRaw cmd =
  runGraphRaw (addCommand cmd) == [cmd]