Fixed Haskell FFI interface to BDDs (by dropping runGC and clear methods from the interface).