version pre-final of interpreter, task undone is implementation of SET for TraversingConstraint