Extracts an operand expression from an If condition and creates a new If statement with this expression as a condition, keeping the original control flow.