Added the foldUp automaton
Fixed bug in down state for graphs
Added skip automata
Properties for runBiState(Graph)