frama-c -wp -wp-rte -wp-print list-before_y_insert_x.c> list-before_y_insert_x-wp-pf.c