Found a recursive function wasn't generated in the C code, switching to anairats for smt interface.