work on FsmTester, flags changed in analyser
macros MemoizeCalc, using INotifyPropertyChanged and macros NotifyPropertyChange