added some queries to test8. needed to swap evidences of pev, so that twelf would not timeout. \cc @TiarkRompf