Added car.mzn.* to prob001