[infer][ondemand] minor simplification of the top-level iteration
[infer][ondemand] minor simplification of the top-level iteration

Summary: This should make no difference as the `Ondemand` would already only run the analysis when the procedure description is found, and naturally skip the analysis otherwise.

Reviewed By: sblackshear, jvillard

Differential Revision: D6705813

fbshipit-source-id: 44bffee

facebook/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer