Test failed: Property failed: DeleteModel.
minimal failing input: (
    "((T (B) (E) 0 0 (E)) 1)",
    Some(
        false,
    ),
)


Test failed: Property failed: DeleteModel.
minimal failing input: (
    "((T (B) (E) 0 0 (E)) -1)",
    Some(
        false,
    ),
)


Test failed: Property failed: DeleteInsert.
minimal failing input: (
    "((E) 0 -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: DeleteInsert.
minimal failing input: (
    "((E) 0 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (B) (E) 0 0 (E)) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (B) (E) 0 0 (E)) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((E) 0 -1 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((E) 0 1 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (B) (E) -303280875 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (B) (E) -417013868 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (B) (E) -923327620 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (B) (E) -216216194 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertModel.
minimal failing input: (
    "((T (B) (E) -1522340149 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertDelete.
minimal failing input: (
    "((E) 0 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((T (B) (T (R) (E) 0 0 (E)) 1006732539 0 (E)) 1006732539 1006732540 0 -1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertInsert.
minimal failing input: (
    "((T (B) (E) 0 0 (E)) 0 1 0 1)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (E) 0 0 (E)) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (E) 0 0 (E)) 1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: DeleteValid.
minimal failing input: (
    "((T (B) (T (R) (E) -1 0 (E)) 0 0 (E)) -2)",
    Some(
        false,
    ),
)


Test failed: Property failed: DeleteValid.
minimal failing input: (
    "((T (B) (T (B) (E) -2 0 (E)) -1 0 (T (R) (T (B) (E) 0 0 (E)) 1 0 (T (B) (E) 2 0 (E)))) -3)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (T (R) (T (B) (T (R) (E) -4 0 (E)) -3 0 (E)) -2 0 (T (B) (E) -1 0 (E))) 0 0 (T (B) (E) 1507923846 0 (E))) -5 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (T (B) (E) 0 0 (E)) 1 0 (T (B) (T (R) (E) 2 0 (E)) 228109806 0 (E))) 3 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (T (B) (E) -1 0 (E)) 0 0 (T (B) (T (R) (E) 1 0 (E)) 1585453719 0 (E))) 2 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (T (R) (E) -885301301 0 (E)) -885301300 0 (T (R) (E) 0 0 (E))) -885301302 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (T (B) (E) 0 0 (E)) 1 0 (T (B) (T (R) (E) 2 0 (E)) 626648163 0 (E))) 3 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (T (R) (E) -1 0 (E)) 0 0 (E)) -2 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (T (B) (T (R) (E) -3 0 (E)) -2 0 (E)) -1 0 (T (B) (E) 0 0 (E))) -4 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (T (R) (E) -545068033 0 (E)) 0 0 (E)) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (T (R) (E) -1408949506 0 (E)) 0 0 (E)) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (T (R) (E) -1510298203 0 (E)) 0 0 (E)) -1 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertValid.
minimal failing input: (
    "((T (B) (E) -765957889 0 (E)) 0 0)",
    Some(
        false,
    ),
)


Test failed: Property failed: InsertDelete.
minimal failing input: (
    "((E) 0 0 0)",
    Some(
        false,
    ),
)