anchor.diff:      _ ->
         ok
     end,
  -  check_and_set_options(Options),
     case collect_links(Files) of
       [] ->
         io:format
  
positive.code: 	 end
       end, Options),
    NewParsedOptions1 =
      case proplists:get_value(validator) of
        undefined -> [{validator,java_validator}|ParsedOptions];
        _ -> ParsedOptions
      end,
    NewParsedOptions2 =
      case proplists:get_value(timeout) of
        undefined -> [{timeout,1500}|NewParsedOptions1];
        _ -> NewParsedOptions1
      end,
  
negative.code:     Links ->
        js_links_machine:init_table(PrivateModule,Links)
    end,
    check_and_set_options(Options),
    js_links_machine:test().
  
  %% To make eqc not print the horrible counterexample
  