Bugfix: wrong rbdd were created sometimes