pathFeasibility

Z3 path-feasibility mode for analyzer taint/fault-propagation runs.

null means inherit from the parent level; final default is PathFeasibility.NO_CHECK. This does not affect control-flow-only ICFG generation.