Single Static Assignment