Add a CFG/CG normalization pass

[patacca]

Possible ideas:

• Better handling of thunk functions (can safely be removed in the normalization pass)
• Sometimes there might be some code duplication. When function A jump to function B sometimes the whole code of function B is copied within function A instead of considering the jump like a function call