better look of execution trace
use pretty print instead of obsolete pp-* predicates
pp-* predicates become obsolete
tracing facility showing OK/FAIL results