Artifacts of Overture FMI IDE Top-level #184