// Error a propósito: el mismo nodo es hijo dos veces, y por eso tiene dos owners.
#include <stdio.h>

#include "logic.h"

int main(void) {
    Logic *a = logic_input('a');
    Logic *formula = logic_and(a, a);
    if (formula == NULL) {
        return 1;
    }
    logic_print(formula, stdout);
    printf("\n");
    logic_free(formula);
    return 0;
}