Specification un document de source des styles

(переменная жива, или занята в некоторой точке программы, если
из этой точки существует путь до какого либо использования


этой переменной, не содержащий операторов, задающих ей новое


значение; если такого пути не существует, то переменная


называется мертвой, или свободной в этой точке);
- удаление процедур, к которым нет обращений;
- удаление неиспользуемых переменных, видов, операций и
т. д.