K-Framework

module LESSON-20
  imports INT

  rule I => I +Int 1
    requires I <Int 100
endmodule