Fixed the cond generation and added :else to emit-cond, implemented test for ackermann function