New major extraction that should have solved all remaining issues. As tests/PROBLEMI shows, we still have some bugs with:
a) initialization of global data (regression) b) function pointers call