Added mention of pair-based restrict in UG.
Added example for pair-based restrict in man pages.