Introduce argumentModified flag to determine any descendant of argument node is modified or not.