// Add Postconditions explicitly stating, that Variables without
// assignment stay the same.
for (TCGVariable var : tcgActivity.getVariables()) {
if (var instanceof TCGBasicVariable && !var.isIsParameter()
&& !referencedBasicVars.contains(var)) {
TCGOCLVariableCallExp pre = factory.createTCGOCLVariableCallExp();
pre.setIsPre(true);
pre.setVariable(var);
pre.setName(var.getName()+"@Pre");
TCGOCLVariableCallExp post = factory.createTCGOCLVariableCallExp();
post.setIsPre(false);
post.setVariable(var);
post.setName(var.getName());
TCGOCLOperationCallExp continuityExp = factory.createTCGOCLOperationCallExp();
continuityExp.setName("continuity");
continuityExp.setOperation(TCGOCLOperationType.EQUALS);
continuityExp.setSource(post);
continuityExp.getArguments().add(pre);