Split variable access into potential and surely#78

Draft

mikucionisaau wants to merge 1 commit intoUPPAALModelChecker:mainfrom mikucionisaau:sure-write

+613-253

Commits on Sep 9, 2024

Split static analysis of variable access into potentially (sometimes, based on runtime state) and surely (always certain, known at compile time)
mikucionisaau
committed