feat(frontends/lean/placeholder_elaborator): display instance trace header once per class-instance resolution problem
feat(frontends/lean/placeholder_elaborator): display instance trace header once per class-instance resolution problem