set default checkers
improved error tracing