Note that "a necessary condition for $s$ is $r"$ means $r$ is a necessary condition for $s.$

Consider the following statement.

A necessary condition for this computer program to be correct is that it not produce error messages during translation.

Which of the following expresses the statement in if$-$then form?

If this computer program is not correct, then it does not produce error messages during translation.

If this computer program is correct, then it does not produce error messages during translation.

If this computer program is correct, then it produces error messages during translation.

If this computer program produces error messages during translation, then it is correct.

If this computer program does not produce error messages during translation, then it is not correct.