Add SSA class
Thinking about cfg