Data gen fixes
fixed generation of data points:
- trace watcher was not updated correctly after propagation
- trace watcher now saves the decisions that are on track -> less error prone reconstruction of decisions
- added verification programs
- fixed feature extraction (by calling propagate before extracting features)