烦请各位大侠帮忙翻译一下！急！

covonut

Since a p-use signals an effected predicate,any definitions that reach n are found using BackwardWalk;these definitions are used to
identify indirectly affected definition-use associations.
怎么翻译？
还有这一句：
The procedure UpdateAddInfo considers those affected predicates on which n is not control dependent,and removes these
statements from In[n].

谢谢！