private static void generateGPast(MealyAutomaton automaton) {
		//final Set<String> allEvents = allEvents(automaton);
		for (String event : allEvents(automaton)) {
			final Set<String> prevEvents = new TreeSet<>();
			for (MealyNode node : automaton.states()) {
				for (MealyTransition t : node.transitions()) {
					if (t.event().equals(event)) {
						for (MealyNode prevNode : automaton.states()) {
							for (MealyTransition prevT : prevNode.transitions()) {
								if (prevT.dst() == node) {
									prevEvents.add(prevT.event());
								}
							}
						}
					}
				}
			}
			//if (!prevEvents.equals(allEvents)) {
            System.out.println("G(!(X(event(" + event + "))) || " + joinEvents(prevEvents) + ")");
			//}
		}
	}