אנגלית ⇄ רוסית +

allowing value parameters in the postcondition מתח
.תִכנו	допуск входных параметров в постусловие (ssn)