Added a permutation accessor to ContractReduce.