Array SSA Form