[VDM19] TDD on Legacy Code by Andrea Francia