p_addCommandDef_duplicates :: [Command] -> Property
prop_addCommandDef_duplicates cmds =
  let cmds'  = take 5 . filter applies_addCommandDef $ cmds
      cmds'' = cmds' ++ cmds'
      names  = evalGraphState (mapM addCommandDef cmds'')
  in  printNames names $
        numUniques names == (numUniques . map commandNullDefines) cmds''

p
prop_addCommandDef_duplicates :: [Command] -> Property
prop_addCommandDef_duplicates cmds =
  let cmds'  = take 5 . filter applies_addCommandDef $ cmds
      cmds'' = cmds' ++ cmds'
      names  = evalGraphState (mapM addCommandDef cmds'')
  in  printNames names $
        numUniques names == (numUniques . map commandNullDefines) cmds''
prop_addCommandDef_duplicates cmds =
  let cmds'  = take 5 . filter applies_addCommandDef $ cmds
      cmds'' = cmds' ++ cmds'
      names  = evalGraphState (mapM addCommandDef cmds'')
  in  printNames names $
        numUniques names == (numUniques . map commandNullDefines) cmds''