extract procedure result values
Merge branch 'procedure_results'

Rebased and merged pull request #95