<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def _translate_jcc(self, oprnd1, oprnd2, oprnd3):
 """Return a formula representation of a JCC instruction. """

        assert oprnd1.size and oprnd3.size

        op1_var = self._translate_src_oprnd(oprnd1)

        return [op1_var != 0x0]