anchor.diff:  -export([
            login_with_oidcc/1,
            login_with_access_token/2,
  -         login_with_rsp/2,
            logout/1,
            session_with_error/1,
            session_for_rsp/1,
  
positive.code:                         [SessionId, Error, Reason, StackTrace]),
              return_session_info(SessPid)
      end.
  
  
  logout(Session) ->
  
negative.code:     ok = watts_session:set_rsp(Rsp, SessPid),
      ok = watts_session:set_redirection(ServiceId, Params, Provider,
                                         SessPid),
  
      {Issuer, Subject} = watts_rsp:get_iss_sub(Rsp),
      Token = #{access => #{token => <<"RSP">>}},
      {ok, _} = update_session(Issuer, Issuer, Subject, Token, SessPid),
  
      {ok, UserInfo} = watts_session:get_user_info(SessPid),
      Allowed = watts_service:is_allowed(UserInfo, ServiceId),
      Enabled = watts_service:is_enabled(ServiceId),
      rsp_session_if_service_allowed(Enabled and Allowed, SessPid);
  rsp_session_or_error(false, _, _, _, _, _) ->
      {error, bad_request}.
  
  rsp_session_if_service_allowed(true, SessPid) ->
      {ok, SessPid};
  rsp_session_if_service_allowed(_, _SessPid) ->
      {error, rsp_service_not_allowed}.
  
  
  session_with_error(Msg) ->
  