Add a method to tell if a transition has a time interval.
Remove partitioning of timed and untimed transitions from Tina parser.