Intratrace Dependency Set generation and tests.