Implement expr2bdd function and unique table