Language-independent optimizing compiler infrastructure for OO and other high-level languages, coded in Cecil, whole-program optimizer with aggressive analyses and optimizations. F…