Update Trace.getTransitionList() use to match changes in kernel
Update Trace.getTransitionList() use to match changes in kernel

bendisposto/prob2-ui,bendisposto/prob2-ui,bendisposto/prob2-ui,bendisposto/prob2-ui