[sledge] Remove no-longer-needed workaround for bounding recursion
[sledge] Remove no-longer-needed workaround for bounding recursion

Summary:
There used to be a bug where recursive calls were not correctly
bounded. This is no longer needed, and this diff removes the
workaround that was added in D15577134 (https://github.com/facebook/infer/commit/881a4d10afa677fe9887ae393f217342fec82810) / 4cd3b62.

Reviewed By: jvillard

Differential Revision: D27828764

fbshipit-source-id: 80265a588

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