Added a small warning to the DecisionDiagram constructor that takes a function