for I being Program of holds UsedILoc I = UsedILoc (Directed I)