Added empty binary decision diagram