Comment by DannyBee

No, it's correct. It's saying "if they are always computed, we move them up".

IE

  if (a)
    foo = a + b
  else b 
    foo = a + b
  ->
  foo = a+b
  if (a)
  else (b)