exit 1
D.thy:4:5: unused-import: imports C, but nothing uses what it adds [*]
--- stderr
fixed 1 finding
1 finding: 1 unused-import
1 with --fix=all
