[EDDI] Enhance handling of SoD, SoE, volatiles and inline asm

[EmilioCorigliano]

Now EDDI features different modifications:

• enhanced SoD (sphere of duplication) and SoE (sphere of exclusion) definition by isToExclude and isToDuplicate functions.
• volatiles now are excluded from duplication (except for the ones explicitly marked as to_duplicate or to_harden). Anyway, int or float volatiles are duplicated right after the volatile load and a consistency check on the value is inserted right before the volatile store.
• inline asm are excluded from duplication
• fixFuncValsPassedByReference used right after an excluded function
• func ret to ref avoids creating the load and stores as volatile