SMT-LIB Error ((error "Parse Error: output.smt:37.36: Symbol '->' not declared as a ...

How to define recursive function in CVC5?...