RefazynistState constructor

RefazynistState()