let to_seq c = [{ condition = Some c; nested = []; min_rep = Some (PCst (Logic_ptree.IntConstant "1")); max_rep = Some (PCst (Logic_ptree.IntConstant "1")); }]