C library for graph-based SSA representation of programs
