Term.Rewriting.Norm

norm'

nf'

nfSubstVFresh'

normSubstVFresh'

maybeNotNfSubterms