value flow: fixed segfault when checking lib/mathlib.cpp