add CVectorv case to do_Ceq
update intLangProof for vectors