Added tests for witnessHook