On compliance checking for clausal constraints in annotated process models