extended debugging for incremental propagation
fixing problem with lost undo watches
activating --flpcheck=aufs per default

we experimentally found this to be the most efficient method, see recent papers