Continued work on variable handling for ire static analysis
Merge branch 'master' of https://github.com/Corjuh/PoCo-Compiler
Complete uncovered execution paths
missed changes in uncovered execution paths
Finish nondeterministic loops
Update infinitePositiveNoConcrete and consolidate helper code