avn: fix in concretization step (was missing initialization of OutParams) (and something for DA)
avn: fix in concretization step (was missing initialization of OutParams)
(and something for DA)

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral