jc/jne constraints have to apply to both inputs