fix bug in swap start and finit vector
add const modificator for - operator of Reduced_vector
debug create shadow