* make sure we do not run property saturation stages after incremental
changes
* inserted relevant properties (that can appear even in
concept axioms) get their context automatically created
* removed the CleanIndexHook from the random walk test: since it can
remove property axioms, it currently does not work with incremental
reasoning