spec: handle temporary variables introduced by CIL
debug assign