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;}

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;}
