protected void Closure(ATNConfig config, ATNConfigSet configs, HashSet<ATNConfig> closureBusy, bool collectPredicates, bool fullCtx, bool treatEofAsEpsilon) { int initialDepth = 0; ClosureCheckingStopState(config, configs, closureBusy, collectPredicates, fullCtx, initialDepth, treatEofAsEpsilon); }