Explicit waiting for dfvars instead of auto-scanning arbitrary statements.
Minimal sanity checks for data flow variables