Enables passing an string to BDD constructor instead of truth table or function