Class Allocates.vis_add_loop_allocates

class vis_add_loop_allocates : Visitor.frama_c_inplace
This class adds loop allocates clauses to all the statements it visits.