Auxiliary routines for the CGIF Parser.
Provides the functionality needed to keep track of all referents so that relations can be tied to them.
Used in cases where a CGIF variable is either malformed or an un-bound variable does not correspond to a bound one.
CGIF is generally supported as specified in Annex B of the Common Logic Standard, with the following constraints:
Harrywithout delimiters. The set of alphanumeric characters is all the upper and lower case Roman letters, digits 0-9, and the underscore.
"Edwin (\"Buzz\") Aldrin". The delimiting quotes are not part of the identifier as processed internally.