Gobo Eiffel parser: indexing and assertion expressions

Hi!

I have another question (I just started to use the Gobo Eiffel parser 
some days ago, please be patient with me...).

Why is ET_CLASS.first_indexing and ET_FEATURE.first_indexing always 
Void? Did I forget to do some parsing? The classes and features 
themselves all show and can be processed nicely, only they seem to have 
absolutely no indexing... 

The same is true for assertion expressions, be it preconditions, 
postconditions or invariants: ET_ASSERTION.expression is always Void 
(on the other hand, i can use ET_TAGGED_ASSERTION.tag without 
problems). 

btw: Is there an easy way to convert an expression to a string 
representation? I would need to output assertions...

Please help! Did I miss to call some additional parsing routine?

Kind regards,
Martin

------------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It is the best place to buy or sell services for
just about anything Open Source.
http://p.sf.net/sfu/Xq1LFB