Default to bottom values in the ask.global for transformations.
Default to bottom values in the ask.global for transformations.

fixes #852

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