Upgrade ExtractRecursionPass. Some bug fixes.
Upgrade ExtractRecursionPass. Some bug fixes.

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral