I don't get it. Either the program can produce a non-zero RC or it can't.
If it can, make it so.
If it can't, then point that out to someone and get the "requirement" changed. Same program, same loadlibary, program can't get a RC of greater than 7, can't do this requirement.
Also, you are talking about two things. RC > 7 and "abnormal termination".
There is nothing "abnormal" about non-zero return-codes.
An "abnormal termination" is an abend, and the COND you have coded will not "catch" it, so no e-mail will b sent.