Handling Multiple Paths in a Function about math_to_symbexpr_map_generation HOT 2 OPEN

Yeah. I actually managed to find the right way of merging state conditions this weekend.
I'm creating a PR now.

from math_to_symbexpr_map_generation.

An alternative is to combine all paths into a single ExtractedSymExpr by using the claripy.ast.bool.If operator.
The return state of each path will have a number of path constraints and its return expression.
Recursively, we create an If expression where the condition expression is the path constraints of the state, the "then" expression is the return expression and the "else" expression is the If expression of the next path.
The dev/if_then_else_extracted_expressions branch shows the basic idea. On this branch, the if_then_else_example.py script can be used to see an example.

@spencerwuwu this is what I was getting at in last week's meeting. Let me know what you think.

from math_to_symbexpr_map_generation.