HOL-ex.veriT_Preprocessing