Incorporating Decision Procedures in Implicit Induction