Started working on preconditions. Wont delete a definintion if it's used in a client module.
Modified tests so that Dd1 has let and where clause variables that have the same name as the variable being deleted.