67         FieldLocs.insert({Field, nullptr});  in createStorageLocation()
69         FieldLocs.insert({Field, &createStorageLocation(  in createStorageLocation()
74       SyntheticFields.insert(  in createStorageLocation()
153   FlowConditionDeps[ForkToken].insert(Token);  in forkFlowCondition()
162   FlowConditionDeps[Token].insert(FirstToken);  in joinFlowConditions()
163   FlowConditionDeps[Token].insert(SecondToken);  in joinFlowConditions()
186   Constraints.insert(&arena().makeAtomRef(Token));  in flowConditionImplies()
187   Constraints.insert(&arena().makeNot(F));  in flowConditionImplies()
198   Constraints.insert(&arena().makeAtomRef(Token));  in flowConditionAllows()
199   Constraints.insert(&F);  in flowConditionAllows()
207   Constraints.insert(&arena().makeNot(arena().makeEquals(Val1, Val2)));  in equivalentFormulas()
217     Constraints.insert(Invariant);  in addTransitiveFlowConditionConstraints()
222     if (!AddedTokens.insert(Token).second)  in addTransitiveFlowConditionConstraints()
227       Constraints.insert(&arena().makeAtomRef(Token));  in addTransitiveFlowConditionConstraints()
231       Constraints.insert(&arena().makeEquals(arena().makeAtomRef(Token),  in addTransitiveFlowConditionConstraints()
256   Constraints.insert(&arena().makeAtomRef(Token));  in dumpFlowCondition()
305     auto Result = FunctionContexts.insert({F, std::move(*CFCtx)});  in getControlFlowContext()
391     Fields.insert(Field);  in getFieldsFromClassHierarchy()