connect object port object port model facad state vertex port defin log lp log granular type statement lp log local nest statement lp log local nest ifdef statediagram lp log local nest ifdef activitydiagram log error intern error sv endif model facad state vertex port defin log lp log granular type statement lp log local nest statement lp log local nest ifdef statediagram lp log local nest ifdef activitydiagram log error intern error sv endif model facad state port model facad pseudost port model pseudost kind initi equal model facad kind port 