term_factorized/3

"term_factorized(? TI,- TF, ?SubTerms" )

Similar to rational_term_to_tree_52 "rational_term_to_tree/4", but SubTerms is a proper list.