Create recursion.oz