/**
 * The default QL library for modeling the Common Intermediate Language (CIL).
 */

import semmle.code.cil.CIL as CIL