public static Production createProduction(Node node) {
		Map e2t = elementsToText(node);
		String left = (String) e2t.get(PRODUCTION_LEFT_NAME);
		String right = (String) e2t.get(PRODUCTION_RIGHT_NAME);
		if (left == null)
			left = "";
		if (right == null)
			right = "";
		return new Production(left, right);
	}