*/
virtual void accept(trace_class_visitor& trace_class_visitor) const;
virtual void accept(trace_class_environment_visitor& environment_visitor) const = 0;
*/
virtual void accept(trace_class_visitor& trace_class_visitor) const;
virtual void accept(trace_class_environment_visitor& environment_visitor) const = 0;