Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation