First Commit of the code source of the LTLValidator