A Tool for SymboliC Optimisations of Probabilistic Processes