Removes "representative" property of variables in SSA form
Adds interference graph builder