CBMC hangs in propositional reduction as soon as something is assigned in struct device