O abate teto, a irredutibilidade dos vencimentos e o STF