trace: Reduce double semicolons to single ones.