sig   val formal_args :     Cil_types.varinfo -> (string * Cil_types.typ * Cil_types.attributes) list   val is_formal : Cil_types.varinfo -> Cil_types.fundec -> bool   val is_local : Cil_types.varinfo -> Cil_types.fundec -> bool   val is_formal_or_local : Cil_types.varinfo -> Cil_types.fundec -> bool   val is_formal_of_prototype : Cil_types.varinfo -> Cil_types.varinfo -> bool   val is_definition : Cil_types.cil_function -> bool   val get_vi : Cil_types.cil_function -> Cil_types.varinfo   val get_name : Cil_types.cil_function -> string   val get_id : Cil_types.cil_function -> int end