adding `checkState` precondition
Merge branch 'development'
upgrading version to 4.2.0