Updated code to work with Frama-C Fluorine

in fluorine, rooted_code_annotation type has been removed and replaced by code_annotation.