Fri, 02 Nov 2007 19:16:04 +0100 mario removing 'identifier' from definition of symbolic_variable