OndriksMTBDD: add implementation of Rename() (+tests)