You are missing the optimization steps.

1. Normalize WADL
2.  WADL to Checker format
3.  Optimizations on checker format (optimizations are stored in the core/src/main/resources/xsl/opt/)
4.  Checker format to state machine