bugs.gh_7865_test. Consider the return value of deterministic functions to be invariant if all its arguments are invariant