New test case and some functions for comparing the results of a simplify