Element function construct_top()
Element function construct_unknown()
Element function find_attribute(a: Element, b: Element, c: Element, d: Element)
Element function retype_model(a: Element)
Element function instantiate_model(a: Element)
Element function instantiate_bottom(a: Element)