Simplify PB merger process: there is currently very little advantage to a set that defines several ranges in the same object, so don't maintain one, call that situation a vague pointer to a known object
Fix evaluating bitwise operations which can be totally defined in spite of an unknown/overdefined operand.

Also fix the DOT printer to show partial resolutions.