text: public long getTotalSLLATNLookaheadOps(){DecisionInfo[] decisions = atnSimulator.getDecisionInfo();long k = 0;for (int i = 0; i < decisions.Length; i++){k += decisions[i].SLL_ATNTransitions;}return k;}