added functions adding prologues and epilogues in TranslateUtils?. Adding a prologue will preserve the invariant of having a cost label at the start of the function, without needing transformations later
redefined ERTL and rewritten RTLToERTL (with suffix "_paolo")