private void ProcessState(HashSet <Symbol> definitelyAssigned, LocalState state1, LocalState?state2opt) #endif { foreach (var slot in state1.Assigned.TrueBits()) { if (slot < variableBySlot.Length && state2opt?.IsAssigned(slot) != false && variableBySlot[slot].Symbol is { } symbol&& symbol.Kind != SymbolKind.Field) { definitelyAssigned.Add(symbol); } } }