def declare(id, dtype):
    """
    Create a SMT declaration

    Args:
        id (str): variable name
        dtype (str): variable type

    Returns:
        str: declaration
    """
    
    return '(declare-const ' + id + ' ' + dtype + ')\n'