Implemented a weak reference-based result cache. Solved the inifinite ufcs analysis problems, now testing & further improvement