add preconditions checkState