The dfg construction pass should work with no problem now. Also fixed a
bug related to memcpy() handling.