SoftwareSpec: remove dead code