changed line 172 in util.py to verifier,following the argument input of function gen_varians