1) проверку соединения точек с типами, которые невозможно привести друг к другу (скажем bitmap и integer)
2) наличие в одном экземпляре linebreakex, globalvar и им подобных
3) полное перекрытие элементов друг другом (возможно при копировании частей схемы)
4) наличие в схеме элемента Debug
более сложные оптимизации:
5) выявление избыточных подключений (очень часто встречается в схемах новичков), типа этого:
6) предупреждения о возможности более оптимального использования элементов, типа такого: