extract negation for performed procedures
Merge branch 'performed_procedure_negation'

Rebasing and merging pull request #96