STF decide pela extinção da ADI 4218