Translation returns the value from the last function even if function returns nothing

[tchajed]

In something like

func return3() uint64 {
  return 3
}

func swallowReturnValue() {
  return3()
}

the translation for swallowReturnValue has return3 #() as the last expression (returning 3) when it needs to add ; #() to return the unit value.

[tchajed]

Adding a ; #() to the end of every non-returning function (ideally on every branch rather than outside the entire function) would be an acceptable fix to me even if many translations change. I'd prefer the consistency over really convoluted logic for checking if it is necessary.