Trace mode in forward chaining, and tre traversal choice