Unsupported property warning gives no indication why the property is unsupported
When testing the Sound Value Iteration algorithm on models from QCOMP, I get the warning that the properties 'danger_T', 'down_T' and 'up_T' from the Embedded Control System Model are unsupported.
embedded.jani:properties[2]: warning: Skipping unsupported property "danger_T".
embedded.jani:properties[4]: warning: Skipping unsupported property "down_T".
embedded.jani:properties[12]: warning: Skipping unsupported property "up_T".
From these warning messages, as user I have no idea why these properties are currently unsupported. Is this because they contain nested PCTL (and thus will be supported when we finish merging the nested PCTL feature branch) or do these properties contain any other special feature which we currently do not support?