anchor.diff:  initial_state_debug(Line, Args) ->
       case ?INITIAL_STATE_DEBUG of
           true ->
  -            lager:info(Line, Args);
  +            lager:info("~p: " ++ Line, [?MODULE] ++ Args);
           false ->
               ok
       end.
  
positive.code: postcondition_debug(Line, Args) ->
      case ?POSTCONDITION_DEBUG of
          true ->
              lager:info(Line, Args);
          false ->
              ok
      end.
  
negative.code: debug(Line, Args) ->
      case ?DEBUG of
          true ->
              lager:info("~p: " ++ Line, [?MODULE] ++ Args);
          false ->
              ok
      end.
  