for N being with_zero set
for i being Instruction of (STC N) holds i is jump-only