The {*} mark is unexpected for 'All valid paths' enforcement section

[dgpv]

          Interesting that the report in the previous message shows

==============================
Enforced constraints per path:
==============================

All valid paths:
----------------

        {*} GREATERTHANOREQUAL(wit0, 0) @ 3:L1
        {*} LESSTHAN(wit0, 64) @ 7:L2

while I would not expect to see {*} in the section for "all valid paths", because if it is always true for all valid paths, it should be marked with <*>. Will need to look into it

Originally posted by @dgpv in https://github.com/dgpv/bsst/issues/33#issuecomment-2123344815