Adding Modelcheck again with correct Models