finished the removeUseless and removeUnreachable function, edited some
other minor functions (added removeTransition in State.java, changed
stuff in mainClass.java for testing purposes)