Ensure function and other decls are replaced by empty statements and appear properly in the CFG