Test failed: Property failed: MultiPreserve.
minimal failing input: (
    "(Abs (TBool) (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 (TBool) (App (Abs (TBool) (Var 1)) (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 (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 (TBool) (TBool)) (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Var 2))) (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 (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 (TBool) (Var 1)) (Bool #f)))",
    Some(
        false,
    ),
)


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


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


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


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


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


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


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


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


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


((App (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 #f))))) (App (App (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TFun (TBool) (TBool)))) (Abs (TBool) (Bool #t))) (Abs (TFun (TBool) (TBool)) (Abs (TBool) (Abs (TBool) (Bool #f))))) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TFun (TBool) (TBool))) (Bool #t)) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Abs (TBool) (Bool #f)))))))


((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)) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Bool #f)))))))


((Abs (TBool) (App (Abs (TFun (TFun (TBool) (TFun (TBool) (TBool))) (TBool)) (Var 1)) (App (App (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TBool) (TBool))) (Abs (TFun (TFun (TFun (TBool) (TBool)) (TBool)) (TFun (TFun (TBool) (TBool)) (TBool))) (Abs (TFun (TBool) (TFun (TBool) (TBool))) (Bool #f)))) (Abs (TFun (TFun (TBool) (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)) (Abs (TFun (TBool) (TBool)) (Bool #f)))) (Abs (TFun (TFun (TBool) (TBool)) (TFun (TBool) (TBool))) (Abs (TBool) (Abs (TBool) (Bool #t)))))))))


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