Add of the parallel processing for the LTLValidator