Figure 1 from Traceability in continuous integration pipelines using the Eiffel