[supporting lemma]: extended version of exec_fail_iexec

[stilltracy]

There's a gap left in the current instrument_correct_race, which exec_fail_iexec failed to bridge. We need an extended version of exec_fail_iexec to resolve this.