Improve runtime for syntactic rulebase. This is done by propagating affected nodes to the finder