Removes unused variables and domains