add section to README on predicate tracing