o ministro Dias Toffoli aplicou à ação o procedimento abreviado prevista na Lei das ADIs