Modified condition/decision coverage (MC/DC) oriented compiler optimizationfor symbolic execution