Delete trailing whitespace in examples

working on gba merge states

working on GBA merge states optimization

Strengthened condition for isValidGBA further and changed the proofs.
Showed that for every accepting transition family there is at least
one transition that is hit infinitely often

Changed condition of validGBA so that only triples (e,a,e') can be in a acceptance set, if
(a,e') is a transition out of e. Changed all proofs to satisfy this condition

added reachability and other useful lemmas to buechi theory

renamed example directory and added it to tools/sequences/final-examples