Specification and implementation

var spec := specification [x,y] pre: true post: true ;

spec.implement[body (x := "I implement by adding a prefix to "+x; return x)];

print spec["the argument.\n",2];

spec := specification [x,y] pre: true post: true ;

print spec["the argument.\n",2];