Converting PTerms to SymTerms