Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures