Heuristics to check if called functions don't change their parameters [ci skip]