Handle dependences from/to malloc and free

[vgene]

Malloc and free are (removed)[https://github.com/PrincetonUniversity/SCAF/commit/c9795b00ac5bf302128a55ba0c9d064bda72722f] from PureFun.h, but this introduces a lot of dependences are led to results of swaptions and dijkstra from Perspective not reproducible.

Need to figure out a proper way to handle it.

[vgene]

Malloc and free should be SemiLocal by default.
It should set a Remedy for self dependences (commutative) or expose a flag for different clients to choose.