Fix postsolver (verify) not handling start constraints (issue #367)
Fix postsolver (verify) not handling start constraints (issue #367)

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