#894 Branch result type reduction does not handle if expressions correctly
#894 Branch result type reduction does not handle if expressions correctly
#894 Branch result type reduction does not handle if expressions correctly
#894 Branch result type reduction does not handle if expressions correctly
#894 Branch result type reduction does not handle if expressions correctly
#894 Branch result type reduction does not handle if expressions correctly