Text this: On Test Case Generation Satisfying the MC/DC Criterion