Add flow sensitivity to constraints and predicate evaluation#934

Open

smeyer198 wants to merge 5 commits intodevelopfrom

fix/predicate-flow-sensitivity

Commits on Sep 8, 2025

Fix predicate after logic
smeyer198
committed

Commits on Sep 9, 2025

Commits on Oct 1, 2025

Update CrySL version
smeyer198
committed