Modular Compiler Verification by Markus Muller-Olm