<< Other complications >>

• Dependencies are of the form: Fragment F was compiled with identifier I bound to D.
• We also have negative dependencies: Fragment F was compiled with I undefined.
• Need an efficient way to record these negative dependencies.
• See paper for discussion of this and other complications.