More meaningful name for versioning smt variables
More meaningful name for versioning smt variables

cksystemsteaching/selfie,cksystemsteaching/selfie,ChristianMoesl/selfie,cksystemsteaching/selfie,ChristianMoesl/selfie