StateUpdater fixed and tested

should solve #430 and #405
Merge branch 'develop' into develop.ontohub.org