code: def constrain(self, constraint):
          
          constraint = self.migrate_expression(constraint)
          self._constraints.add(constraint)
docs: Constrain state.
  
          :param manticore.core.smtlib.Bool constraint: Constraint to add