break fatal_error
run < b4.in
print message
up
up
call p_clause(c)
print *c
up
up
break prover6.c:958 if (old->id == 526)
run
call p_clause(old)
next
call p_clause(new)
print *old
next
file prover6
run
print *old
call p_just(justification)
call p_just(old->justification)
print *old
call p_just(old->justification)
call p_just(old->justification)
call p_just(old->justification)
file prover6
run
call p_just(old->justification)
next
call p_just(new->justification)
print *new
next
call p_just(new->justification)
next
