Handle when Yices doesn't report a function