public boolean areNondeterministic(Transition t1, Transition t2) {
		PDATransition transition1 = (PDATransition) t1;
		PDATransition transition2 = (PDATransition) t2;
		String input1 = transition1.getInputToRead();
		String input2 = transition2.getInputToRead();
		String toPop1 = transition1.getStringToPop();
		String toPop2 = transition2.getStringToPop();

		if (arePrefixesOfEachOther(input1, input2)
				&& arePrefixesOfEachOther(toPop1, toPop2))
			return true;
		else
			return false;
	}