Merge pull request #524 from hkrutzer/fix-underflow #24

Job	Run time
Analyze (java-kotlin)	3m 6s
Analyze (javascript-typescript)	4m 16s
Analyze (go)	3m 9s
Analyze (csharp)	3m 36s
Analyze (python)	55s
Analyze (c-cpp)	8m 39s
Analyze (rust)	6m 15s
	29m 56s

Provide feedback