(atomic macro) same as induct, but create a single goal
Examples: wrap-induct (wrap-induct t) (wrap-induct (append (reverse x) y)) General Form: (wrap-induct &optional term)
Note: The output will generally indicate that more than goal has been created, e.g.:
Creating two new goals: (MAIN . 1) and (MAIN . 2).
NOTE: Created ONLY one new goal, which is the current goal: (MAIN . 1)