install_symbol() and close_scope() improved