[PM] Cleanup a dead option to critical edge splitting that I noticed