private static String getVariableTypeFromName(String name) {

		for (VariableInformation var : variableList)
			if (var.name.equals(name))
				return var.type;

		if (name.equals("inf") || name.equals("-inf") || name.equals("nullity"))
			return "transreal";

		return "unknown";
	}