fix(frontends/lean/info_manager): std::set insert is a noop if set already contains an equivalent element
fix(frontends/lean/info_manager): std::set insert is a noop if set already contains an equivalent element