let reprs =
[ { po_fun = List.hd Kernel_function.reprs;
po_bhv = Some "Cil.default_behavior_name";
po_pid = List.hd WpPropId.Prop_id_datatype.reprs;
po_gid = "xxx";
po_env = "";
po_model = "Store";
po_updater = List.hd Emitter.reprs;
po_name = "dummy";
po_dep = [];
po_warn = [];}]