Added induction tactic

This just goes case by case on the supplied variables and tries the
trivial tactic at every endpoint.