708     ParentState.indicateOptimisticFixpoint();  in followUsesInMBEC()
810   ChangeStatus indicateOptimisticFixpoint() override {  in indicateOptimisticFixpoint()  function
811     BS.indicateOptimisticFixpoint();  in indicateOptimisticFixpoint()
2720         return indicateOptimisticFixpoint();  in updateImpl()
2819         indicateOptimisticFixpoint();  in updateImpl()
5510         indicateOptimisticFixpoint();  in initialize()
5516         indicateOptimisticFixpoint();  in initialize()
5544       return indicateOptimisticFixpoint();  in updateImpl()
5943           return indicateOptimisticFixpoint();  in updateImpl()
6452     indicateOptimisticFixpoint();  in initialize()
6488           indicateOptimisticFixpoint();  in initialize()
7657       indicateOptimisticFixpoint();  in initialize()
8753         return indicateOptimisticFixpoint();  in updateImpl()
9219       indicateOptimisticFixpoint();  in initialize()
9226       indicateOptimisticFixpoint();  in initialize()
9702       indicateOptimisticFixpoint();  in initialize()
9708       indicateOptimisticFixpoint();  in initialize()
10096       indicateOptimisticFixpoint();  in initialize()
10102       indicateOptimisticFixpoint();  in initialize()
10304       indicateOptimisticFixpoint();  in initialize()
10778       indicateOptimisticFixpoint();  in initialize()
10908     AAPotentialValues::indicateOptimisticFixpoint();  in indicatePessimisticFixpoint()
11504         indicateOptimisticFixpoint();  in initialize()
12192       indicateOptimisticFixpoint();  in initialize()