Require Export
        CertifiedExtraction.Extraction.QueryStructures.CallRules.Tuple
        CertifiedExtraction.Extraction.QueryStructures.CallRules.WordList
        CertifiedExtraction.Extraction.QueryStructures.CallRules.TupleList
        CertifiedExtraction.Extraction.QueryStructures.CallRules.Tuples0
        CertifiedExtraction.Extraction.QueryStructures.CallRules.Tuples2.
