kdrag.hypothesis.nitpick

kdrag.hypothesis.nitpick(thm: QuantifierRef, deadline=100, **hyp_settings)

Run a hypothesis test to check that an instantiated forall is equivalent to the original forall.