Perform induction on some expression to solve the current goal. Return a list of new holes to be solved.