add insert_element(vec1_ ...
add cast_sext plus shl/ashr function fix