output(success/1).

output(failure/1).

unseen(hmmf/4).

unseen(tr/2).

:-set(depth_bound,inf).
:-set(minimal_step,0.005).
:-set(maximal_step,0.1).