anchor.diff:      do_prop_parallel_multi(full_path(?SSH_DIR, CT_Config)).
   
   do_prop_parallel_multi(DataDir) ->
  +    setup_rsa(DataDir),
       ?FORALL(Repetitions,?SHRINK(1,[10]),
   	    ?FORALL(Cmds,parallel_commands(?MODULE),
   		    ?ALWAYS(Repetitions,
  
positive.code: 
  
  do_prop_seq(DataDir) ->
      ?FORALL(Cmds,commands(?MODULE),
  	    begin
  		{H,Sf,Result} = run_commands(?MODULE,Cmds,[{data_dir,DataDir}]),
  
negative.code:     do_prop_parallel(full_path(?SSH_DIR, CT_Config)).
  
  do_prop_parallel(DataDir) ->
      setup_rsa(DataDir),
      ?FORALL(Cmds,parallel_commands(?MODULE),
  	    begin
  		{H,Sf,Result} = run_parallel_commands(?MODULE,Cmds,[{data_dir,DataDir}]),
  