Not use freelist in verification mode