Pair constructor Pair(x, y) was used in thread and traversals for distribution of environments during traversal.
The Pair constructor has become obsolete with the introduction of FixedLengthTuple in StrategoRelease07.
Until StrategoRelease071 the Pair constructor will be defined as an overlay
overlays Pair(x, y) = (x, y)After that it will be removed from the library. -- EelcoVisser - 06 Jan 2002