public SourceContextAndPath extendPath(Abstraction abs){
  return extendPath(abs,true);
}

public SourceContextAndPath extendPath ( Abstraction abs ) { return extendPath ( abs , true ) ; }
extends the taint propagation path with the given abstraction
