Static single-assignment form

Introduction

Introduction