add recfun assignment