Dúvidas sobre Alugueis a Receber

Olá colegas, estou com uma dúvida.

Eu tinha um inquilino que saiu do meu imóvel com uma dívida de R$ 1000,00, como eu faço esse lançamento? Quando ele pagava certinho eu lançava mês a mês da seguinte maneira:

D-banco (ativo/banco)
C-inquilino (resultado/receita aluguel)
Valor- R$ 200,00
Descrição- Aluguel ref maio/18 com venc 10/06/18

Agora que ele saiu, como eu lanço a dívida dele, pois vou cobrar na justiça.

Eu acredito que a primeira conta seja:

D-Aluguel a receber (ativo/direitos a receber)
C-?

Não sei o que lançar na contrapartida.

Ricardo,

Melhor você não provisionar.

fazer o lançamento quando receber na justiça.