Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge