Expanding the use of include in use case diagrams