OndriksMTBDD: add some invariant checkers to Rename()
OndriksMTBDD: add operators == and !=