Merged wt_rlmn and wt_int_rlmn. int_vector_buffer

is now used in the construction.
Added another test input.