tests: add Generic_Check helper procedure