Structured Markov Chains Solver: Tool Extension