[paramNotNull] Simplify the checker after we don't need to remove the captured variables from the formals anymore
[paramNotNull] Simplify the checker after we don't need to remove the captured variables from the formals anymore

Summary: We needed to remove the captured variables from the formals in this checker to avoid false positives. Now, after we don't add captured to formals anymore in the frontend, we can simplify the code.

Reviewed By: da319

Differential Revision: D34079251

fbshipit-source-id: 87ea0c749c

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