RE: [abc] Tracematch-Question: Symbols both negated and unnegated

Pavel Avgustinov wrote:
> (Sorry if this doesn't make sense, it's early and I would much rather
> try to explain this with a whiteboard... Do tell me if I can clarify
> any of it further.)
No, it's fine - I see what you mean. Thanks for the detailed explanation!

Eric

-- 
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University