to_mfa_additional & bisimilar fix

[xendalm]

• исправлен поиск путей с ресетами и раскраска КСС в алгоритме бисимуляции
• теперь пустота вложенных ячеек памяти зависит от пустоты внешних при вычислении ToReset