use globally unique labels and registers
insert return for every function
eliminate phi-inst from short circuit evaluation
update short circuit code
remove `liftIO` debug code
fix llTransAST missing function call (statement, not expression)