def node_indent_end(elt_name, node_id, fact_term, attribute):
return "<STR_LIT>" % elt_name<EOL>
Closing tag for the node_indent tag. Currently, only the
parameter elt_name is used: we keep the other around in
case we later find out that we need to do some more
closing stuff based on the contents of the other parameters
also used in the opening tag.