Factored out Naming from SmackRep.
* Need more intricate naming scheme for code expressions inside procedures.