You are right, this should be static single assignment.