Adds 5.3-3 PermuteWithAll procedure.