ReturnStatementToIterationConverter is now statically typed.