Splitting the uses of the unification function according to the status of
the abs flag in rewrite.
The unifying functions of Rewrite uses the return types of strategies.