unsetTraverse_spec method

dynamic unsetTraverse_spec()

Implementation

unsetTraverse_spec() {
  this.traverse_spec = null;
}