Added static analysis to determine which conditions a given node depends on