Robustifying the impunc feature
Merge branch 'master' into impunc
Sped up static policy evaluation!
Improved the code a bit