be free of side effects (Alex_Odeychuk); be free of side-effects (All expressions, including function calls, are to be free of side-effects.

adacore.com Alex_Odeychuk)

не иметь побочных эффектов