Inductive test.is_true

Modification history