tool interface for the ProB visualization UI