Fix merge issue in symbol

Author: palinatolmach

kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md

@@ -1395,7 +1395,7 @@ The various `CALL*` (and other inter-contract control flow) operations will be d
          <accessedAccounts> TOUCHED_ACCOUNTS => TOUCHED_ACCOUNTS |Set ADDRSET </accessedAccounts>
 
     syntax Set ::= #computeValidJumpDests(Bytes)            [symbol(computeValidJumpDests),    function, memo, total]
-                 | #computeValidJumpDests(Bytes, Int, List) [symbol(computeValidJumpDests), function                ]
+                 | #computeValidJumpDests(Bytes, Int, List) [symbol(computeValidJumpDestsAux), function                ]
  // -----------------------------------------------------------------------------------------------------------------
     rule #computeValidJumpDests(_PGM) => .Set
     rule #computeValidJumpDests(_PGM, _I, _RESULT) => .Set