• CALL : wali::walienum
• Combine : wali::graph
• Constant : wali::graph
• Extend : wali::graph
• InterNone : wali::graph
• InterOutNode : wali::graph
• InterSource : wali::graph
• InterSourceOutNode : wali::graph
• None : wali::graph
• NONE : wali::walienum
• OutNode : wali::graph
• RETURN : wali::walienum
• Source : wali::graph
• Star : wali::graph
• SuperSource : wali::graph
• Updatable : wali::graph