Symbols die with wrong context

I have an issue with the following code, for which I track *eval::assume* and
*check::DeadSymbols*:At each *eval::assume*, I mark (in the state) all the
symbols in the evaluated expression as /tested/.It seems, that at some point
(after /h/ is inlined), I get an *eval::assume* "/fret/ is true" and I don't
get the expected "/fret/ is false". This is acceptable, but I later get a
*check::DeadSymbols* in which /fret/ is dead and the state does not have it
as /tested/.Am I missing something?