Codegen: fail to generate 'if' when one of the branches has no type

[waj]

def foo
end

if false
  foo
else
  1
end

[asterite]

I think we should make empty functions and while loops have the Nil type, instead of void. Later we can optimize those functions to return void if they are not assigned to something.