(An improved) Reactivity analysis in ReactiveML | AMiner