Added execute-guard-trace; renamed 'start-executing-label-trace!' to 'execute-label-trace'