anchor.diff:                  [
                       {"N0",
                           {'if',
  -                            eq({'#', TimeD}, 0),
  -                            "N1",
  +                            [{eq({'#', TimeD}, 0), "N1"}],
                               {'@', "N0",
                                   {t, [{TimeD, minus({'#', TimeD}, 1)}]}}}},
                       {"N1",
                           {'if',
  -                            eq({'#', SpaceD}, 0),
  -                            1,
  +                            [{eq({'#', SpaceD}, 0), 1}],
                               times({'@', "N1", {t, [{SpaceD, minus({'#', SpaceD}, 1)}]}}
                                   , 2)
                           }}
  
positive.code:                 }
              },
              {"B", {'if',
                      tand(gte({'#', SpaceD}, 1),
                           lte({'#', SpaceD}, 1024)),
                      {'#', SpaceD},
                      1
                  }
              }
  
negative.code:         {wheredim,
              {wherevar, "A", [
              {"A", {'if',
                      [{lte({'#', TimeD}, 0), "B"}],
                      {'@',
                          plus({'@', "A", {t, [{SpaceD,      times({'#', SpaceD}, 2    )}]}},
                               {'@', "A", {t, [{SpaceD, plus(times({'#', SpaceD}, 2), 1)}]}}),
  