905   ProgramStateRef StateNotNull, StateNull;  in evalFopen()  local
906   std::tie(StateNotNull, StateNull) =  in evalFopen()
909   StateNotNull =  in evalFopen()
910       StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc));  in evalFopen()
914   C.addTransition(StateNotNull,  in evalFopen()
1602   ProgramStateRef StateNotNull, StateNull;  in preFflush()  local
1603   std::tie(StateNotNull, StateNull) =  in preFflush()
1605   if (StateNotNull && !StateNull)  in preFflush()
1606     ensureStreamOpened(StreamVal, C, StateNotNull);  in preFflush()
1618   ProgramStateRef StateNotNull, StateNull;  in evalFflush()  local
1619   std::tie(StateNotNull, StateNull) =  in evalFflush()
1621   if (StateNotNull && StateNull)  in evalFflush()
1623   if (StateNotNull && !StateNull)  in evalFflush()
1624     State = StateNotNull;  in evalFflush()
1647   if (StateNotNull && !StateNull) {  in evalFflush()
1782   ProgramStateRef StateNotNull, StateNull;  in ensureStreamNonNull()  local
1783   std::tie(StateNotNull, StateNull) = CM.assumeDual(State, *Stream);  in ensureStreamNonNull()
1785   if (!StateNotNull && StateNull) {  in ensureStreamNonNull()
1796   return StateNotNull;  in ensureStreamNonNull()