optimizing tail-position ANF continuations, and fixing where the
anf-splitting of a-if expressions happens