code: protected LexIdentifierToken lastIdToken() throws ParserException,
  			LexException
  	{
  		LexToken tok = reader.getLast();
  
  		if (tok.type == VDMToken.IDENTIFIER)
  		{
  			LexIdentifierToken id = (LexIdentifierToken) tok;
  
  			if (id.isOld())
  			{
  				throwMessage(2295, "Can't use old name here", tok);
  			}
  
  			return id;
  		}
  
  		throwMessage(2058, "Expecting Identifier");
  		return null;
  	}
docs: Return the last token, converted to a {@link LexIdentifierToken}. If the last token is not an identifier token,
  an exception is thrown with the message passed in.
  
  @return The last token as a LexIdentifierToken.
  @throws LexException