The ProgrammerGuide shows an example rule with a return object of type State. Placing the return type before the method signature does not seem to work as the example indicates.

page 13

1. class and method example 2
   ....
   METHOD State commit()
   .....