a fix to the random walk task to re-create the changing axioms
collection for every run
tweaks to the hook to only remove class axioms and domain axioms
Merge remote-tracking branch 'origin/elk-new-incremental' into elk-new-incremental