Fix lookup of partial function values in YicesModel (bug discovered by Lucas Wagner)