fact: Variables (Lq : _) (qe : list_enumerator Lq q).
imports: Undecidability.Synthetic(ReducibilityFacts DecidabilityFacts EnumerabilityFacts ListEnumerabilityFacts MoreEnumerabilityFacts) List Undecidability.Shared(Dec)