[Dlteam-list] A correspondence between continuation passing style and static single assignment form