abstractions/deterministic_state library