How to specify the return value of a method as a symbolic variable?

Hi,
The paper "The Dart, the Psyco, and the Doop" said that it is allowed to set the return value of a method and instance fields as symbolic variables. 

Are there some documents for setting return values of a method as symbolic variables, or some documents for introducing the configuration options of JDart?
Thank you.
Zhen