Checking different safety properties in different locations

[schillic]

Related: #447
In the hybrid setting, instead of checking the same safety property in all locations, we should support a mapping from locations to a property. Note that, in general, this map may be partial, i.e., not every location needs to have a property assigned.
As input, we would then support such a mapping. Additionally, we should still accept a single property and internally convert it to the map that maps all locations to this property.