refactoring and documentation
tweak docstring for process-vars
analyze-actions -> recur-present?
this -> matrix