Corrected some warnings + links to the design choices.
Lolos' bug fix on location of errors
Corrected display of transitions between different state machines
Better handling of out of memory exception caused by huge explain parts
Mobile terminals have a state machine for registering