code: def value(self) -> Union[bool, None]:
          
          self.simplify()
          if self.is_true:
              return True
          elif self.is_false:
              return False
          else:
              return None
docs: Returns the concrete value of this bool if concrete, otherwise None.
  
          :return: Concrete value or None