Add of the lib use for the command line of the LTLValidator