Predicate UninitializedLocal::explicitly_guarded

predicate explicitly_guarded(NameNode u)