implemented untested versions for checkEG, checkEX and checkEU.
add two variables to State.java that tarjan algorithm uses.
Merge branch 'master' of
https://github.com/ChKater/FMSE-2014-Labeled-Transition-Systems.git

Conflicts:
	LTS FX/bin/.gitignore