Analytic hypoellipticity for sums of squares and the Treves conjecture, II