Made a format for persistent transitions. Made the Interpreter recognize
the new format as a correct one.
The Interpreter correctly handles translating the new persistent
transitions.
The Interpreter correctly implements the new persistent duration
transitions.