Add description to conditional transition 'else' statements

[kjmahalingam]

trafficstars

Because of the complex nature of some graphs, it is sometimes difficult to see what the condition of an ‘else’ in a conditional transition is. These ‘else’ statements should be written out in detail, to display exactly the conditions they encompass.

[arscan]

Moving to low priority because I'm not sure how this could work in practice. It would hard to represent 'else' as anything other than a concatinated nots of previous conditions, which would be impossible to read.