added validity check on suspension automata. Implemented only quiescence reducibility. Optimized the quiescence reduicibility in the table