Add some diagnostic messages for the TINA parser.
Check that ‘->’ is present in a TINA transition.