UsCaAb: a Tool for Abstracting Use Case Diagrams