Delay instead of assertion failure on unsat core