Assert() that code not reached for simulated case