WYCS: added support for handling uninterpreted functions.