If the stolen animal is found alive in his possession

This can be stated in active form. AT: "If they find that he still has the live animal that he stole" (See: rc://en/ta/man/translate/figs-activepassive)

pay back double

pay two animals for every animal that he took