The dissemination of best medical practices should contribute to a higher quality of care. Because natural language specifications can be ambiguous, their miss interpretation can lead to all kinds of errors. Here we propose a declarative approach for precisely defining medical recommendations. We also propose an approach based on semantic process mining to verify that an arbitrary Computer Interpretable Guideline (CIG) complies with the medical recommendations. Taking into account that some medical recommendations are critical, our work can be seen as a contribution to the design of safer CIGs. Moreover, we introduce some novel strategies to take full advantage of the information provided by the semantic conformance checker in order to: 1) suggest scenarios than could lead to violations of the medical constraints in the CIG and, 2) estimate how flexible is the CIG with respect to the medical recommendations used as starting point.