use the properly initialised state in rdf output
intern variable identifiers for efficiency