Added trace-define-syntax