Fixed the typed fusion. The problem was that the node map (map between the PDG nodes and the DFPDG nodes) was not updated when it should have been