Checked or not, we should try to keep the ast in a valid state.