Fix prelude to exit properly, fix liveness analyzer in the case of conditional gotos, and fix stack arrangement in function calls