more obdd operations