WYCS: bug fix for verifier and uninterpreted function calls
WYCS: bug fix for verifier and uninterpreted function calls

hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler