Added noting of designator resolution in execution traces for actions and locations