Add comment
subst->substOrUnify. Subst->AppliedPiResult