CLU

Medical abbreviations:
CLU

Counters Lambdas And Uninterpreted