Make reflexion analysis compatible with Action History

[falko17]

We need to make sure that incremental graph-modifying operations as well as the reflexion analysis in general doesn't interfere / is compatible with the action history, i.e., ReversibleActions.