Also add tests about collapsing equal functions