in command line interface, selection of cons checkers takes too long

[tillmo]

use the following file:

spec s =
sort s

and the following commands:

hets -I file.casl
dg basic s
cons

and then press after entering cons. The response time is several seconds.