756     ParentState.indicateOptimisticFixpoint();  in followUsesInMBEC()
922   ChangeStatus indicateOptimisticFixpoint() override {  in indicateOptimisticFixpoint()  function
923     BS.indicateOptimisticFixpoint();  in indicateOptimisticFixpoint()
1554         indicateOptimisticFixpoint();  in initialize()
1608   ChangeStatus indicateOptimisticFixpoint() override {  in indicateOptimisticFixpoint()  function in AAReturnedValuesImpl
2183       indicateOptimisticFixpoint();  in initialize()
2198         indicateOptimisticFixpoint();  in initialize()
2361         indicateOptimisticFixpoint();  in updateImpl()
2787       indicateOptimisticFixpoint();  in initialize()
2956       indicateOptimisticFixpoint();  in initialize()
2960       indicateOptimisticFixpoint();  in initialize()
2965         indicateOptimisticFixpoint();  in initialize()
2992       indicateOptimisticFixpoint();  in initialize()
3045       indicateOptimisticFixpoint();  in initialize()
3050       indicateOptimisticFixpoint();  in initialize()
4638       indicateOptimisticFixpoint();  in initialize()
4651       indicateOptimisticFixpoint();  in initialize()
4967           return indicateOptimisticFixpoint();  in updateImpl()
5015         indicateOptimisticFixpoint();  in initialize()
5502         indicateOptimisticFixpoint();  in handleCmp()
5538       indicateOptimisticFixpoint();  in handleCmp()
5659     indicateOptimisticFixpoint();  in initialize()
6809       indicateOptimisticFixpoint();  in initialize()
7844         return indicateOptimisticFixpoint();  in updateImpl()
8217       indicateOptimisticFixpoint();  in initialize()
8224       indicateOptimisticFixpoint();  in initialize()
8634       indicateOptimisticFixpoint();  in initialize()
8640       indicateOptimisticFixpoint();  in initialize()
9170       indicateOptimisticFixpoint();  in initialize()
9176       indicateOptimisticFixpoint();  in initialize()
9206       indicateOptimisticFixpoint();  in initialize()
9213       indicateOptimisticFixpoint();  in initialize()
9216       indicateOptimisticFixpoint();  in initialize()