Aliasing control in an imperative pure calculus