merge proved to terminate