Correct ast for IF_INIT