My friend the invoke instruction does not dominate all basic blocks if it