Fix yet another path that couldn't cope with terminator instructions that are checked (i.e. invokes)