Modify execution state properties