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