复制void foo(int x,符号执行 int y)  {      int t = 0;      if( x > y ){          t = x;      }else{          t = y;      }      if (t <x ){          assert false;      }  }  1.2.3.4.5.6.7.8.9.10.11.12.