renamed SimpleBDD to LightBDD