Predicate MissingExports::definedInModule

Holds if variable v is assigned somewhere in module m.

predicate definedInModule(GlobalVariable v, NodeModule m)