Updating constraints for instructions