Add tactics to [hnf] in a [match]