Fix for test

Or rather, let's be more explicit and check if the fixed point iterator's constraint is not quite in the right form.