Module Visitor_behavior.Get_orig

Get operations on behaviors, allows to get the original representative of an element of the new AST in the curent state of the visitor.

Get_orig.ast_element vis new_e with new_e of type ast_element gets the original representative of new_e in vis. For example for Cil_types.varinfo: Get_orig.varinfo vis new_vi.