 Mathematically, a (computer) function formula_1 is null if and only if its execution leaves the program state formula_2 unchanged.That is, a null function is an identity function whose domain and codomain are both the state space formula_3 of the program, and for which