Added ROBDD and UIDGenerator