PROGRAM
   BLOCK
      begin   
      LIST
         STATEMENT
            FORLOOP
               for   
               identifier   k
               :=   
               EXPRESSION
                  number   2
               to   
               EXPRESSION
                  number   10
               do   
               STATEMENT
                  BLOCK
                     begin   
                     LIST
                        STATEMENT
                           ASSIGNMENT
                              identifier   x
                              :=   
                              EXPRESSION
                                 identifier   k
                        TAIL
                           ;   
                           LIST
                              STATEMENT
                                 SELECTION
                                    if   
                                    CONDITION
                                       EXPRESSION
                                          identifier   x
                                       =   
                                       EXPRESSION
                                          identifier   k
                                    then   
                                    STATEMENT
                                       ASSIGNMENT
                                          identifier   x
                                          :=   
                                          EXPRESSION
                                             number   30
                                    else   
                                    STATEMENT
                                       ASSIGNMENT
                                          identifier   x
                                          :=   
                                          EXPRESSION
                                             number   1
                              TAIL
                     end   
         TAIL
      end   

Parsing has succeeded