Caching CTMC probability matrices
removed FIXMEs