> One thing that is missing in the current Mercury tracer is handling of > skipped predicates. It is not missing, we just implemented it a different way; via --trace interface previously, and --trace shallow in the latest diff. Zoltan.