extract negation for performed procedures
extract values and nested values from procedures