def declare(var_name, var_type): 
	"""Creates an SMTLIB declaration formatted string

	Parameters
		----------
		var_name: string
			The name of the variable
		var_type: 
			The type of the variable (Int, Bool, etc.)
	"""
	return "(declare-fun " + var_name + " () " + var_type + ")\n"