herd: abstract interpreter values: no longuer visible from initializers