p_addCommand :: [Command] -> Bool
prop_addCommand cmds =
  let cmds' = take 5 $ cmds
  in  runGraphRaw (mapM_ addCommand cmds') == cmds'

p
prop_addCommand :: [Command] -> Bool
prop_addCommand cmds =
  let cmds' = take 5 $ cmds
  in  runGraphRaw (mapM_ addCommand cmds') == cmds'
prop_addCommand cmds =
  let cmds' = take 5 $ cmds
  in  runGraphRaw (mapM_ addCommand cmds') == cmds'