Searched refs:ConsequentS (Results 1 – 1 of 1) sorted by relevance
229 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication() local230 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()