Theme 793 of the Brazilian Federal Supreme Court: an analysis of gaps and contradictions