Renamed ProcessState to ReasonerState