Update RecFun.scala