class TEST3 feature set is do after := True next_cell := next_cell end after: BOOLEAN next_cell: TEST3 end