WYCS: bug fix for verifier and uninterpreted function calls