Queries
A very important pState feature is that of queries. These are visual elements that may be attached to states to ask about various analysis results like the probability of reaching a state.
These queries have a language of their own which needs to be added to the language tools for syntax highlighting.
Since queries are attached to states it makes sense for these to be represented as graphical elements that may be drag and dropped on states to change their target. What is still up for debate is whether these should work their way into the chart structure or remain separate and visually kept synced with the chart.
All queries should be in a nice list with their most recent results displayed/synced with the back end. This means the change will also be an API change but likely non-breaking. A nice potential place is a drawer tab like the messages.