Verifying patched function using TimesMatcher