Unify with/withRecursive usage #537