def constrain(self, constraint):
constraint = self.migrate_expression(constraint)<EOL>self._constraints.add(constraint)<EOL>
Constrain state.

        :param manticore.core.smtlib.Bool constraint: Constraint to add