let java = "java.l"
in 
   idx(java) +
   (| "repeat.l" -> java
      [ StatementWithoutTrailingSubstatement -> StatementWithoutTrailingSubstatement, Statement -> Statement, Expression -> Expression ]
      StatementWithoutTrailingSubstatement.repeat  =  'do $1 while (!($2));'  ;
   |)