MC/DC coverage-oriented compiler optimization for symbolic execution