Added info about SSA and BBV