b_hash_insert_new(+Hash, +Key, Val, +NewHash )*
Insert the term Key-Val in table Hash and unify NewHash with the result. If ground term Key exists, fail.