added creating dependencies between callback function and callback causing call expression
if an evaluated identifier has a dummy node that captures dependencies to all modifications - add a dependency to it (this refers to the problem when we slice according to an identifier that refers to an array