storm
storm copied to clipboard
Add missing preprocessing for properties
At least in two instances, preprocessing is only transforming the model but not the properties: