Given an effect e, something is directly modified by e (through an
affectation, or through a call to a leaf function) if direct holds, and
indirectly (through the effects of a call) otherwise.
Given an effect e, something is directly modified by e (through an
affectation, or through a call to a leaf function) if direct holds, and
indirectly (through the effects of a call) otherwise.