Remove merge functions

Created by: jad-hamza

Fix https://github.com/epfl-lara/stainless/issues/554.

From quick tests, this didn't appear to affect performance for Stainless and Bolts tests.