Added sim code removed from storm-spec to the simulation ns [forgot in commit: 3d62874]
Added sim code removed from storm-spec to the simulation ns [forgot in commit: 3d62874]

pol-is/polisMath,pol-is/polisMath