Rename ctor parameter result to vector_result in VectorResult.h