*** Failed! Falsifiable (after 20 tests):
Div (C 0) (Add (C 0) (C 0))

Generalization:
Div (C _) (Add (C 0) (C 0))

*** Failed! Falsifiable (after 5 tests):
Div (C 0) (C 0)

Generalization:
Div _ (C 0)

False
True