anchor.diff:  7;node;;pp_nav.c;auto_nav;423;67;423;167;0;0;0;;0;" nav_stage++; last_x = estimator_x; last_y = estimator_y; stage_time = 0; stage_time_ds = 0; return;;"
   8;node;;pp_nav.c;auto_nav;423;49;423;62;0;0;0;;7,6;" qdr < 180 + 10;"
   9;node;;pp_nav.c;auto_nav;423;16;423;45;0;0;0;;8,6;" [B12.1] ? [B10.1] : [B11.1]; ([B9.1]) < qdr;"
  -10;node;;pp_nav.c;auto_nav;423;29;423;32;0;0;0;;9;" 180;"
  -11;node;;pp_nav.c;auto_nav;423;35;423;38;0;0;0;;9;" 350;"
  -12;node;;pp_nav.c;auto_nav;423;17;423;26;0;0;0;;10,11;" 180 < 350;"
  +#10;node;;pp_nav.c;auto_nav;423;29;423;32;0;0;0;;9;" 180;"
  +#11;node;;pp_nav.c;auto_nav;423;35;423;38;0;0;0;;9;" 350;"
  +12;node;;pp_nav.c;auto_nav;423;17;423;26;0;0;0;;9;" 180 < 350;" # trivially true
   13;virtual node;;;auto_nav;0;0;0;0;0;0;0;;15;""
   14;node;;pp_nav.c;auto_nav;422;387;422;397;0;0;0;;13;" qdr -= 360;"
   15;node;;pp_nav.c;auto_nav;422;375;422;385;0;0;0;;14,12;" qdr >= 360;"
  
positive.code: 165;node;;pp_nav.c;auto_nav;226;9;226;15;0;0;0;;0;" return;;"
  166;node;;pp_nav.c;auto_nav;224;11;224;130;0;0;0;;165;" [B172.5] ? [B167.1] : ([B168.1]); nav_desired_gaz = ([B166.1]);"
  167;node;;pp_nav.c;auto_nav;224;56;224;57;0;0;0;;166;" 0 (ImplicitCastExpr, IntegralToFloating, double);"
  168;node;;pp_nav.c;auto_nav;224;61;224;128;0;0;0;;166;" [B171.1] ? [B169.1] : [B170.1];"
  169;node;;pp_nav.c;auto_nav;224;96;224;106;0;0;0;;168;" (600 * 16) (ImplicitCastExpr, IntegralToFloating, double);"
  170;node;;pp_nav.c;auto_nav;224;109;224;128;0;0;0;;168;" 0.80000000000000004 * (600 * 16);"
  171;node;;pp_nav.c;auto_nav;224;61;224;93;0;0;0;;169,170;" 0.80000000000000004 * (600 * 16) > (600 * 16);"
  172;node;;pp_nav.c;auto_nav;220;11;224;53;0;0;0;;167,171;" desired_course = ((270.) / 180. * 3.1415926535897931); auto_pitch = 0; nav_pitch = 0.14999999999999999; vertical_mode = 1; 0.80000000000000004 * (600 * 16) < 0;"
  173;node;;pp_nav.c;auto_nav;218;13;218;113;0;0;0;;0;" nav_stage++; last_x = estimator_x; last_y = estimator_y; stage_time = 0; stage_time_ds = 0; return;;"
  
negative.code: 21;node;;pp_nav.c;auto_nav;414;61;414;161;0;0;0;;0;" nav_stage++; last_x = estimator_x; last_y = estimator_y; stage_time = 0; stage_time_ds = 0; return;;"
  22;node;;pp_nav.c;auto_nav;414;45;414;56;0;0;0;;21,20;" qdr < 0 + 10;"
  23;node;;pp_nav.c;auto_nav;414;16;414;41;0;0;0;;22,20;" [B26.1] ? [B24.1] : [B25.1]; ([B23.1]) < qdr;"
  #24;node;;pp_nav.c;auto_nav;414;27;414;28;0;0;0;;23;" 0;"
  #25;node;;pp_nav.c;auto_nav;414;31;414;34;0;0;0;;23;" 350;"
  #26;node;;pp_nav.c;auto_nav;414;17;414;24;0;0;0;;24;" 0 < 350;" # trivially true
  27;virtual node;;;auto_nav;0;0;0;0;0;0;0;;29;""
  28;node;;pp_nav.c;auto_nav;413;387;413;397;0;0;0;;27;" qdr -= 360;"
  29;node;;pp_nav.c;auto_nav;413;375;413;385;0;0;0;;28,23;" qdr >= 360;"
  30;virtual node;;;auto_nav;0;0;0;0;0;0;0;;32;""
  31;node;;pp_nav.c;auto_nav;413;356;413;366;0;0;0;;30;" qdr += 360;"
  32;node;;pp_nav.c;auto_nav;413;347;413;354;0;0;0;;31,29;" qdr < 0;"
  