Further implementation of Frama-C plugin to process results