void insertError(int line, docstring const & error_desc,
docstring const & error_text,
std::string const & child_name = empty_string());
void insertError(int line, docstring const & error_desc,
docstring const & error_text,
std::string const & child_name = empty_string());