code: def _assume2point():
      
      point = dict()
      for lit in _ASSUMPTIONS:
          if isinstance(lit, Complement):
              point[~lit] = 0
          elif isinstance(lit, Variable):
              point[lit] = 1
      return point
docs: Convert global assumptions to a point.