fd and fe are (were) needed to stop p3 and p4 being removed early on in the original algorithm. So, this test too is an edge case where the original broke.