Added property based tests for State