Remove EST_DISTR from state.h