Sometimes FUNCALL-INSTRUCTION has no successors. Handle that case.
Interchange the meaning of the successors of TYPEQ.