Restart if condition on existence of mismatched extension fails for mismatch extend; mismatch restart works perfectly; all other context schemes work perfectly; credit implemented.