require_relative 'dsl/induction'
require_relative 'dsl/reg_lang'