additions so that the movements of the operator are outputted in the Trace