test constructors for OBDDs (erroneous)