porting to Sylvan BDD library WIP