complete run ../lattice.rul
run ../apps.examples/lattice.rules < ../apps.examples/lattice-sax
break memory.c:129
run
where
up
down
up
break ol_identity
run < temp3
call p_term(equality)
break neg_normal_form
cont
break neg_norm_form
run
cont
call p_term(t)
next
call p_term(t)
cont
call p_term(t)
cont
call p_term(t)
run
cont
call p_term(t)
next
cont
call p_term(t)
next
call p_term(t)
up
call p_term(equality)
run
next
call p_term(equality)
next
disable 2
run
next
call p_term(b0)
next
call p_term(b1)
call p_term(equality)
next
print ok
print ok1
print ok2
run
enable 2
cont
call p_term(t)
next
call p_term(a0)
call p_term(a1)
call p_term(s)
