Fixed a memory leak introduced to avoid freeing the same memory twice.
The issue was fixed by making copies of the EffectSummaries of function
definitions preceeded by function declarations (previously the two Decls
pointed to the same EffectSummary object in the SymbolTable).