Label model_trace:x is automatically added to every element with name x that has a model label and does not have a model_trace:y label.
Label model_trace:x is automatically added to every element with name x that has a model label and does not have a model_trace:y label.

ssaavedra/why3,ssaavedra/why3,ssaavedra/why3