Added a test for a slightly simplified Wf_sqrsum