anchor.diff:                                                       binding = None;
                                                        checker = None;}],None,None);
                                         isStart = false;
  -                                      isPublic = true;
  +                                      isPublic = false;
                                         metaArgs = [];};
                      {name = Source.t "newCnfRule1";
                       args = [];
  
positive.code:                                                       binding = None;
                                                        checker = None;}],None,None);
                      isStart = false;
                      isPublic = true;
                      metaArgs = [];};
                     {name = Source.t "y";
                      args = [];
  
negative.code:                                                       binding = None;
                                                        checker = None;}],None,None);
                      isStart = false;
                      isPublic = false;
                      metaArgs = [];}; {name = Source.t "y";
                                        args = [];
                                        body = PSeq ([{omit = false;
  