Reverse PRDs: From Legacy Code to Clear Product Specs