Remove division by zero error message during base invariant#1892

sim642 wants to merge 1 commit intomastergoblint/analyzer:masterfrom

div-by-zero-invariantgoblint/analyzer:div-by-zero-invariantCopy head branch name to clipboard