Added testing of LinearCongruenceSet.