Intermediate Representation of a Conditional Jump
A conditional jump is an expression that produce a jump to a certain label
under a couple of condition
\note will be used later for control flow analysis