clean
better call detection
Evaluate the call target
Handle the splitting of basicblocks
Stop analyzing at function boundaries
Correct bb wiring