swipl "-q" option changed both the verbosity of the compilation and the
initial runtime verbose flag. This caused plunit not to print unit names
until the verbosity was restored to normal (e.g., by the
conservation_laws unit tests). I suppose that it was unattended.

Some minor fixes in coding style.