updates to pull out dependency graph for all variables in assumption and reduction