remove is_model hypothesis from proves_IMP