struct support

Interface Specification Propagator now supports struct datatypes in function arguments and return values . Also, the generated annotations are no longer placed in a separate behavior since this caused problems with the Frama-C WP plugin.