SVF code formatter

Set correct ICFGNode for ValVar subclasses during SVFIR construction (#1804)

Merge pull request #1805 from cjsrxzdyzds/fix/negative-gep-struct-index

fix: guard against negative/out-of-bounds struct indices in computeGepOffset

remove setICFGNode

Merge pull request #1801 from bjjwwang/refactor/edge-based-propagation

fix: align pull-mode with origin/master for recursive function analysis

refactor: replace edge-based push propagation with pull-from-predecessors model

WIP: simplify handleLoopOrRecursion, remove edge erasure in mergeInEdges

refactor: clean up mergeInEdges, extract collectBodyNodes, simplify back-edge check

refactor: simplify external edge classification using mergeInEdges

refactor: edge-based propagation for abstract interpretation

revert: restore propagateToSuccessor to origin/master state

refactor: remove withinSet from propagateToSuccessor

adjust getAbstractValue for ValVar