prd_termSeqs :: [TERM_SEQ] -> Set.Set NAME
prd_termSeqs = unifyPredicates prd_termSeq
prd_termSeqs :: [TERM_SEQ] -> Set.Set NAME
prd_termSeqs = unifyPredicates prd_termSeq
prd_termSeqs = unifyPredicates prd_termSeq