kcheck - improved a bit the user interface; added is#Id predicate for K2SMTLib translation.