We used the Tomte tool [AHKOV12] to automatically construct a mapper for the Farmer Wolf Goat Cabbage SUT. Using counterexample-guided abstraction refinement, Tomte is able to automatically infer guard statements containing equality of data parameters and constants.