RuM 4 UML Miner: an add-on for UML Miner