When invoking Frama-c -Eva through the GUI, too many options are used. See figure attached. Please remove options 9 to 12 as they are redundant with options 3 to 5.