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 = [];}]