Fallback on "classic" cases heuristic when Induction.mk_induction raises an exception. This closes issue #127.