US8769606B2 - Computer-Implemented Method, Computer System, and Computer Program Product for Optimization of Evaluation of a Policy Specification