add genchk() - common method for predicates test
error fix
error fix