rewrite stdlibfuncreturn to reaching definition problem
move cachePGT to MonotoneFWIdLab