Modification for the loop_collector print in LTLValidation and ParaLTLValidation