Change assert to __VERIFIER_assert for assertions created by evalAssert.
Change assert to __VERIFIER_assert for assertions created by evalAssert.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer