Implementation of the nested fixed point (NFXP) algorithm from Rust (1987)