Predicate localDefinitionOverwrites

Holds if the later definition of v could overwrite its earlier definition.

This is the case if there is a path from earlier to later that does not cross another definition of v.

Import path

import javascript

predicate localDefinitionOverwrites(LocalVariable v, VarDef earlier, VarDef later)