public boolean isPushLambdaTransition(Transition transition) {
		PDATransition trans = (PDATransition) transition;
		String toPush = trans.getStringToPush();
		if (toPush.length() != 0)
			return false;
		/*
		 * String input = trans.getInputToRead(); if(input.length() != 1) return
		 * false;
		 */
		String toPop = trans.getStringToPop();
		if (toPop.length() != 1)
			return false;
		return true;
	}