DatatypeTests class for test cases and test constructors for OBDDs (erroneous)