Temporarily fix up the test_programs/basic/concrete/simple_loop.bpl test case. We shouldn't really be forking this much but its going to require quite a large change to fix this.
Temporarily fix up the test_programs/basic/concrete/simple_loop.bpl
test case. We shouldn't really be forking this much but its going
to require quite a large change to fix this.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix