import more ghilbert tests