change propagation of definedness constraints to be through
use-def chains, except for cutpoints (e.g., store/call/...)