Abstraction of a data representation of C value. This attribute is attached to each inserted arg term, but can be further propagated by other passes

Function prototype. This attribute is inserted into each annotated function.

A c type associated with a term. This attribute is attached to each inserted arg term, but maybe propagated by further by other passes.