Provides a graph-based SSA representation of programs
