Converting to BDD semantics