Huge work on Cfree and Cdecl analysis. Also if branchment work