This intention converts 'if' statement where each branch is terminated with assignment to the same variable into single assignment with 'if' expression