Rewrite a use case to remove a non-inclusive term