execution traces for State and Train()