Add types to counterexamples#483

yui-knk merged 19 commits intoruby:masterruby/lrama:masterfrom

Little-Rubyist:add_types_to_counterexamplesLittle-Rubyist/lrama:add_types_to_counterexamplesCopy head branch name to clipboard