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