|Did you know ...||Search Documentation:|
diroption are specified.
|###||Clause was never executed.|
|++N||Clause was entered N times and always succeeded|
|--N||Clause was entered N times and never succeeded|
|+N-M||Clause has succeeded N times and failed M times|
|+N*M||Clause was entered N times and succeeded M times|
All call sites are annotated using the same conventions,
--- is used to annotate subgoals that were
true(default), add line numbers to the annotated file.