Dijkstra still failing

[vgene]

Dijkstra is still failing when running regression. Similar problem happens to swaptions. The reason is that malloc/calloc/free are moved out of Pure Function list.

Todos:

• [ ] Handle SpecPriv recognizing external function properly for malloc...
• [ ] Handle memory deps removal properly in SCAF for malloc...
• [ ] Make sure Swaptions and Dijkstra have the same performance as Perspective