Concept

Static single-assignment form