fixed wrong assumption with backtracking recording
increased const-correctness
catching cases were reportModel is called without propagate before
more undo watches and removed assertion

(this fixes problems, but it is unclear why. sent mail to Benjamin)