Langenfeld

@danieldietsch the property in the [wip/ad/stuck-at](https://github.com/ultimate-pa/ultimate/tree/wip/ad/stuck-at) branch should be a generalisation of this branch. But as with so many hunches regarding requirements properties, I have to take a serious look...