PrimRec = Union PrimRec-Approximation