JumpThreading: Turn a select instruction into branching if it allows to thread one...