In is a conditional particle; aḥabba is a past-tense verb here meaning 'wished' or 'liked.' Together with thumma yadhbaḥu, the sentence makes the sacrifice conditional and optional in this specific case.
Translating it as 'he must then sacrifice' would erase the condition and alter the legal meaning. Small grammatical particles can make major differences in legal texts.