On refactoring of use case models