Add hunter.kif for profiling tests