More tests for depur and posit, changed coverage output.

Tests were added for empty calls to the tools "posit" and
"depur".

Code coverage output was changed to identify better the
number of passes for each line, tests were changed
accordingly.