Add functions to manipulate the rbdd context.