Problem regarding documentation of tests with multiple solutions

[David-Gimenez-Hernandez]

When doing a test of the form:

:- test charge(N)
=> (N = 0 ; N = + ; N = ++ ; N = +++ ; N = ++++ ; N = + ; N = +++++ ; N = ++++++ ; N = +++++++)

• (not_fails, example) # "Example of a charge".

Where there are multiple solutions sepparated by a ";", if you try to generate the documentation, lpdoc does not recognize
multiple solutions to mark as a property when doing EXIT, so instead it gives the error:
unknown property N=0;N=(+);... in assertion for charge(N).