// Testfile dumped by Ultimate at 2013/06/09 13:32:55

buchiComplementFKV(InterpolantAutomatonBuchi4);

NestedWordAutomaton InterpolantAutomatonBuchi4 = (
	callAlphabet = {"c"},
	internalAlphabet = {"a"},
	returnAlphabet = {"r" },
	states = {"q1""q0" },
	initialStates = {"q0" },
	finalStates = {"q1" },
	callTransitions = {
		 ("q0" "c" "q0")
	},
	internalTransitions = {
		 ("q0" "a" "q1")
		 ("q0" "a" "q0")
	},
	returnTransitions = {
	}
);