Symbol: set_machine_constraints