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