{
  traceIf =
    pred: