Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 1)) (Abs (TFun (TBool) (TBool)) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f)))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Var 2))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 1)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 2)) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Var 1) (Bool #f))) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (App (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Bool #f))) (Var 1))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f))) (Abs (TFun (TBool) (TBool)) (Var 0)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f))))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


((Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TBool) (Var 2))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #f))))))


((Abs (TBool) (App (Abs (TBool) (Var 1)) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #f)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t))))))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 1)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Var 1)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f)))))))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Var 1)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0)))))))


((Abs (TBool) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Var 1)) (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Bool #t)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 1)) (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Bool #t)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t)))))))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Var 1)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f))) (Var 2)))))))


((Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Var 2)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f))))))


((Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Var 1)) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #t)))))))


(App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 1)) (Bool #f)))) (Bool #f))


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Var 2))) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Var 1) (Bool #f))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f)))) (Bool #f))",
    Some(
        false,
    ),
)


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))))


((Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 1)) (Abs (TFun (TBool) (TBool)) (Bool #t)))))


((App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 2)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))))) (App (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t))))) (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f))) (Bool #f))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))))


((Abs (TFun (TBool) (TBool)) (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Abs (TBool) (Bool #t)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #f)))))))))


((Abs (TBool) (Abs (TBool) (Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 3)) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #t))))))))))


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Var 1)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #f)))))


((Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #t)))))))


((App (Abs (TBool) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Var 1)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t)))) (Bool #t)))


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 1)) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Bool #t)))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))))


((Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 1)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))) (Bool #f))))


(App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 1)) (Bool #f)))) (Bool #f))


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0)))) (Abs (TBool) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 0))) (Bool #f)) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Bool #f))) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Bool #f))) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #f))) (Abs (TBool) (Abs (TBool) (Bool #f)))))) (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0))) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (App (Abs (TBool) (Abs (TBool) (Var 0))) (Bool #f)) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0)))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (Abs (TBool) (Var 0))) (Bool #f))",
    Some(
        false,
    ),
)


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Var 0))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #f)))) (Abs (TBool) (Abs (TBool) (Bool #f))))))))


((App (Abs (TBool) (Abs (TBool) (Var 0))) (Bool #f)))


((App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 0))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #f))))))


((App (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #f))))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1)))) (Abs (TFun (TBool) (TBool)) (Bool #t))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TBool) (Var 0))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #t)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f)))))


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 0))) (Abs (TFun (TBool) (TBool)) (Bool #t)))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Bool #t)))) (App (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #t)))))))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Abs (TBool) (Var 0))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))


((App (Abs (TBool) (Abs (TBool) (Abs (TBool) (Var 0)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Bool #t)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f))))))))


(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (App (Var 0) (Bool #f))))) (Abs (TBool) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0))) (Abs (TFun (TBool) (TBool)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TBool) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1)))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 0))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 0))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


((App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0))) (App (Abs (TBool) (Bool #t)) (Bool #t))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0)))) (Abs (TFun (TBool) (TBool)) (Var 0))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TBool) (Var 0))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f)))))


((App (Abs (TBool) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1)))) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Bool #f)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #f)))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t))))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 1)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0)))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #t)))) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TFun (TBool) (TBool)) (Var 0)))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TBool) (Var 0))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Var 0))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 0))))))


((App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))


(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Var 1))) (Abs (TBool) (Var 1))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 1))) (App (Var 0) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1))) (App (App (Abs (TBool) (Abs (TBool) (Bool #f))) (Bool #f)) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 2)) (Var 1)))) (Var 0)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


((Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (App (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Bool #t))))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t))))) (Bool #f)) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 1))) (Abs (TBool) (Var 1)))))))


((Abs (TBool) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1))) (Abs (TFun (TBool) (TBool)) (Var 1))) (Abs (TBool) (Abs (TBool) (Bool #t))))))


((Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Var 1))) (Var 0)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)))))


((Abs (TFun (TBool) (TBool)) (App (App (Abs (TBool) (Abs (TBool) (Var 1))) (App (Var 0) (App (Abs (TBool) (Bool #f)) (Bool #f)))) (Bool #t))))


((Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Var 1))) (Var 0)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f))) (Abs (TBool) (Abs (TBool) (Bool #t)))))))))


((Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0))))


((App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f))))) (Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0)))))


((App (Abs (TBool) (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 1))) (Var 0))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Bool #f)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t)))))))


(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (App (App (Abs (TBool) (Abs (TBool) (Bool #f))) (Bool #f)) (Var 0))))


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TBool) (Abs (TBool) (Var 1))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Var 1) (Abs (TBool) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 1))) (Var 0)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 1))) (App (Var 0) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1))) (Var 0)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1))) (Var 0)) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Var 1))) (Var 0)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f)))))))


((Abs (TBool) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Var 1))) (Abs (TFun (TBool) (TBool)) (Var 1))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #f)))))


((Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 2)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))) (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 2)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Abs (TBool) (Bool #f)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #f))))))))))


((Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 1))) (Abs (TBool) (Var 1)))))


((App (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 1))) (Var 0))) (Abs (TBool) (Bool #t))))


((App (Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0))) (Bool #f)))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TBool))) (Var 1))) (Var 0)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Bool #f)))))))


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 0))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 0))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (App (Var 0) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Var 0)))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


((App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TBool) (Var 0))) (App (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #t))))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t)))))))


((App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Var 0))) (App (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #f)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Bool #t)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #f)))))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Bool #f)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Bool #t)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #t)))))))


((App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #t))))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 0))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Bool #f)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #t))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t)))))))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (App (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #f))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f)))) (Abs (TBool) (Var 0)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Bool #t)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #t)))))))


((App (Abs (TBool) (Abs (TBool) (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #t)))) (Abs (TBool) (Var 0))))) (Bool #t)))


((App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Var 0)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Bool #f)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f)))))


((App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 0)))) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TBool) (Bool #f)))))


(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Var 0) (Bool #f))) (Abs (TBool) (Abs (TBool) (Var 0))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1))) (Abs (TBool) (Var 0)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0))) (Abs (TBool) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 2)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0))) (Bool #f))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


((App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TBool) (Bool #t))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #t)))))))


((App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Var 0))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f)))) (Abs (TBool) (Bool #f))))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Bool #t)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))))


((App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0))) (App (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Bool #t))) (Bool #f)) (App (Abs (TBool) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #t)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TBool))) (Bool #f)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Bool #t))))))))


((App (App (Abs (TBool) (Abs (TBool) (Var 0))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Bool #t)) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Abs (TFun (TBool) (TBool)) (Bool #t))))) (Bool #f)))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Var 0))) (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t)))) (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (Bool #t)))))


((App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 0)))) (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f))))))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TBool) (Var 0))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #t)))) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f)))) (Abs (TBool) (Bool #f))))))


((App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0)))) (Abs (TBool) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f))))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 0))) (App (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))) (Abs (TBool) (Bool #f))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Bool #t)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f)))))))


((App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 0))) (Bool #f)))


(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Bool #f))) (Var 0)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Var 0) (Abs (TBool) (Bool #f)))))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 1)) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0))) (Abs (TBool) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #f))) (App (Var 1) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Abs (TFun (TBool) (TBool)) (Bool #f))) (Abs (TBool) (Var 0)))) (Abs (TBool) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 0))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Abs (TBool) (Bool #f))) (Abs (TBool) (Var 0)))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Var 0)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t))))


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Var 1)) (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #f)))))))


((Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Var 0))) (Abs (TBool) (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Bool #f))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))))))


((Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 1)) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #f))) (Bool #f)))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TBool) (Var 1)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Bool #f)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f))))))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 0))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))


((App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Var 0)))) (Bool #t)))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Abs (TBool) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (Var 0)))) (App (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #t)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Abs (TBool) (Bool #t)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t)))))) (Abs (TBool) (Bool #f)))))


((App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0)))) (App (Abs (TBool) (Abs (TBool) (Bool #t))) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Bool #f)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #f))))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))))


(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Var 2))) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (App (Var 1) (Bool #f))) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TBool) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 0)))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (App (Var 0) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Var 2))))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Bool #f))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #t)))))))))


((Abs (TBool) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Var 1)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #t))))))


((Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #t)))))


((App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))))


((Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Var 1)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #f))))))


((App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 0))) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))) (Abs (TFun (TBool) (TBool)) (Bool #f))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f)))))


((Abs (TBool) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Bool #t))))))


((Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TBool))) (Var 2)) (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Bool #f)))) (Bool #t))))))


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Var 1)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #t))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))))))


((App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Var 0))))


(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (Var 0)) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 0)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 0)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1))) (Abs (TBool) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 1))) (Abs (TBool) (Bool #f)))",
    Some(
        false,
    ),
)


((Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TBool) (TBool)) (Var 0)) (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))) (Abs (TBool) (Bool #f)))) (App (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #t))) (Bool #f)) (Var 0)))))


((Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Bool #t))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0)) (Abs (TFun (TBool) (TBool)) (Bool #f))))


((App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 0)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))


((App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1))) (Bool #f)))


((App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0)) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (Abs (TBool) (Bool #f)))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TBool) (Var 0)) (Bool #t))))


((App (Abs (TBool) (Var 0)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))))


((App (Abs (TBool) (Var 0)) (App (Abs (TBool) (Bool #t)) (Bool #t))))


((App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #t)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 0)) (Bool #f))))))


(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TBool) (Var 0)) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 0)) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Var 0)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Var 0)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (App (Abs (TFun (TBool) (TBool)) (Var 0)) (Abs (TBool) (Bool #f))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TBool) (Var 1)) (Bool #f))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


((App (Abs (TBool) (Var 0)) (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Bool #f))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t)))))))


((App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Var 1) (Bool #f)))) (Abs (TBool) (Bool #f))))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TBool) (Var 0)) (Bool #f))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0)) (Abs (TFun (TBool) (TBool)) (Bool #f))))


((App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Var 0)) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Bool #t))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #f))))))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))


((App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Var 2)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 2))))) (App (App (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Bool #f))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f)))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (App (Var 0) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 1))) (Var 0)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1))) (App (App (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #f)))) (Bool #f)) (App (Var 0) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1))) (Var 0)) (Abs (TBool) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 1))) (Var 0)) (Abs (TFun (TBool) (TBool)) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (App (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Bool #f))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0))))",
    Some(
        false,
    ),
)


((App (Abs (TBool) (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1))) (Var 0))) (Bool #t)))


((Abs (TBool) (App (App (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t)))))) (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))) (Abs (TBool) (Bool #t)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #t))) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0)))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 1))) (Abs (TBool) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Bool #t))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 2)))))))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (App (Abs (TBool) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Var 1))) (App (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Bool #t))) (Var 0)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f))))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 1))) (Var 0)) (Bool #t)))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0)) (Abs (TBool) (Bool #f)))))


((Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Var 1))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Bool #t))))) (App (App (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f))))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f))))))))


((Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0))))


((Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Abs (TBool) (Var 1))) (Var 1)))))


((App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Bool #f))) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #t)))) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t)) (Abs (TFun (TBool) (TBool)) (Bool #f))))) (Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0)))))


(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (App (App (Abs (TBool) (Abs (TBool) (Bool #f))) (Bool #f)) (Var 0))))


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 1))) (Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 2)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 2)))) (App (Abs (TBool) (Var 0)) (Var 0))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 1))) (App (Var 0) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 1))) (Abs (TBool) (Var 1))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1))) (Var 0)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 1))) (Var 0)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 2)))) (Var 0)))",
    Some(
        false,
    ),
)


((Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Var 1))) (Var 0)) (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t)))))))


((Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Var 2)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 2))))) (Var 0))))


((Abs (TBool) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Var 1))) (Abs (TFun (TBool) (TBool)) (Var 1))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f)))))))


((Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Var 1)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f))))))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Var 1))) (Var 0)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #f))))))))


((Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0))))


((Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 2)))) (Var 0))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (App (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Var 0)) (Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Bool #f)) (Abs (TBool) (Bool #f))))))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Var 1))) (Var 0)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t))))))


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (App (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Bool #f)))) (Abs (TBool) (Abs (TBool) (Bool #f)))) (Bool #f)) (App (App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #f)))))) (Bool #f)) (Abs (TFun (TBool) (TBool)) (Var 0))))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 0))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Var 0)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


((App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1))) (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #t))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f))) (Abs (TBool) (Bool #f)))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f))))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)))) (Abs (TFun (TBool) (TBool)) (Bool #f))))


((Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (Bool #t))))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Var 0))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (App (Var 1) (Bool #f)))) (Abs (TBool) (Abs (TBool) (Var 1))))))


((App (App (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Var 0))) (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TBool) (Bool #t)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Bool #f)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t)))))))


((Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 1))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #t)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (App (Abs (TBool) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Var 1))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Bool #t)) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TBool) (Bool #f))))) (App (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #t))))))))


((App (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 1))) (Bool #t)))


((App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))) (Bool #t)))))


(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0)))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 0))) (Abs (TFun (TBool) (TBool)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Var 0)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TBool) (Abs (TBool) (Var 1))) (Bool #f))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1))) (Bool #f)) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Var 0))) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Abs (TBool) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #f)))",
    Some(
        false,
    ),
)


((App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #t))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 0))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t))))))


((App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0))) (App (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #f)))))))


((App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1))) (Abs (TFun (TBool) (TBool)) (Bool #t))))


((App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 0)))) (App (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #f)))))))


((App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Var 1) (Bool #t)))) (Abs (TBool) (Bool #t))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Var 0))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 0))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #t))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))))


((Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 0))) (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Var 1)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #f))))))))


(App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 0))) (Abs (TBool) (Bool #f)))


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 1)) (Abs (TFun (TBool) (TBool)) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (App (Abs (TBool) (Var 1)) (Bool #f))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 1)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Var 3)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TBool) (Bool #f))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #t)))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TBool))) (Bool #f)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Bool #t)))))))))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 2)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t)))))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t))) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #t)))))))


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Var 1)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t)))))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t)))))))


((Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (App (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #t))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #t))) (Abs (TBool) (Var 2)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #t))))))


((Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Abs (TBool) (Var 2))) (Bool #f))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))) (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f)))) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))) (App (App (Abs (TBool) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Bool #t))) (Bool #f)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Bool #f))))))


((Abs (TFun (TBool) (TBool)) (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TFun (TBool) (TBool)))) (Var 2)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #f)))))))))


((Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Var 2)) (App (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t))))) (Abs (TBool) (Abs (TBool) (Bool #f)))) (Abs (TBool) (Bool #t)))))))


((Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))))


(App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 1)) (Bool #f)))) (Bool #f))


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f))))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Var 2))) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (App (App (Abs (TFun (TBool) (TBool)) (Var 2)) (Abs (TBool) (Bool #f))) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TBool) (Var 1)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TBool) (Var 1)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TBool) (App (Abs (TBool) (Var 1)) (Bool #f))) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Var 2)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f))))))))


((Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Var 2)) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t))))))))


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Var 2))) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1))))))


((Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f))))))


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Var 1)) (App (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t)))))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Abs (TBool) (Bool #t))))))


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 2)) (Abs (TBool) (Abs (TBool) (Bool #t))))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #t)))))


((App (Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f)))) (Bool #f)))


((Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 3)) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Abs (TBool) (Bool #t)))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t))))))))))


((Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Var 2)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #f)))) (App (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #f))))) (Bool #t)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TBool))) (Var 2))) (Bool #f)) (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))))))


(App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 1)) (Bool #f)))) (Bool #f))


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TBool) (App (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Var 1)) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Bool #f))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (App (Abs (TBool) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Bool #f))) (Bool #f)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TBool) (Var 1)) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TBool) (TBool)) (Var 2)) (Abs (TBool) (Bool #f)))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Var 2))) (Abs (TFun (TBool) (TBool)) (Bool #f))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TBool) (App (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (App (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))) (Bool #f)) (Abs (TBool) (Abs (TBool) (Bool #f))))) (Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Var 2)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TBool) (Var 1)) (Bool #f)))",
    Some(
        false,
    ),
)


Test failed: Property failed: SinglePreserve.
minimal failing input: (
    "(App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TBool) (Var 0)) (Var 0)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f))))",
    Some(
        false,
    ),
)


((Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TBool))) (Var 2)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (Var 3)))))))


((Abs (TFun (TBool) (TFun (TBool) (TBool))) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Bool #f))) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))))))


((App (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #f))))) (Abs (TBool) (Var 0))) (Abs (TFun (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 1)) (App (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Bool #f))) (Var 0))))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (App (Var 1) (Abs (TBool) (Bool #f)))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t)))))))


((App (App (App (App (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #f)))))))) (Abs (TBool) (Bool #f))) (App (Abs (TFun (TBool) (TBool)) (Bool #t)) (Abs (TBool) (Bool #f)))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Bool #f)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #t)))))) (Abs (TBool) (App (Abs (TBool) (Var 1)) (Var 0)))))


((Abs (TBool) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TBool)) (Var 1)) (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (App (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Bool #t)) (Abs (TBool) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t)))))))))


((Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #t)))))


((App (Abs (TBool) (App (Abs (TFun (TBool) (TBool)) (Var 1)) (Abs (TBool) (Bool #t)))) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Bool #t)) (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TBool)) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Bool #t))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TBool) (TBool)) (Bool #f)))))))


((Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Abs (TBool) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Var 1)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #t)))))))


((App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Abs (TBool) (App (Abs (TFun (TFun (TBool) (TBool)) (TBool)) (Var 0)) (Abs (TFun (TBool) (TBool)) (Var 1))))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (App (App (Abs (TBool) (Abs (TFun (TBool) (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool)))) (Abs (TBool) (Bool #f)))) (Bool #f)) (Abs (TBool) (Var 1))))))


(App (Abs (TBool) (Abs (TFun (TBool) (TBool)) (App (Abs (TBool) (Var 1)) (Bool #f)))) (Bool #f))