adding asserts to stdlib and cleanup default state provider logix