Abstract Interpretation of Indexed Grammars.