Add DataDep constructors. Explicitly check SSA form.