Combining task execution and background knowledge for the verification of medical guidelines