Another note: nothing in the SSA simplification loop right now rewrites self non-tail calls with continuations that simply return into tail calls. This causes world5.sml to fail, because the child processes exhausts memory with stack.