Russe ⇄ Anglais +

добавление единицы contraintes
makar.	unit incrementation (напр., к счётчику цикла)
techn.	incrementation (напр., к счётчику команд)