p_addCommandDef_commands :: [Command] -> Property
prop_addCommandDef_commands cmds =
  let cmds'   = take 5 . filter applies_addCommandDef $ cmds
      cmds''  = cmds' ++ cmds'
      cmdsRes = runGraphRaw (mapM_ addCommandDef cmds'')
  in  printGot "cmdsRes" cmdsRes $
        ((==) `on` S.fromList . map commandNullDefines) cmds'' cmdsRes

a
prop_addCommandDef_commands :: [Command] -> Property
prop_addCommandDef_commands cmds =
  let cmds'   = take 5 . filter applies_addCommandDef $ cmds
      cmds''  = cmds' ++ cmds'
      cmdsRes = runGraphRaw (mapM_ addCommandDef cmds'')
  in  printGot "cmdsRes" cmdsRes $
        ((==) `on` S.fromList . map commandNullDefines) cmds'' cmdsRes
prop_addCommandDef_commands cmds =
  let cmds'   = take 5 . filter applies_addCommandDef $ cmds
      cmds''  = cmds' ++ cmds'
      cmdsRes = runGraphRaw (mapM_ addCommandDef cmds'')
  in  printGot "cmdsRes" cmdsRes $
        ((==) `on` S.fromList . map commandNullDefines) cmds'' cmdsRes