Breaking single assignment