object contain object handl guard handl action handl contain transit handl event handl object contain iter transit handl iter contain contain contain contain handl state vertex state vertex handl contain todo us model element contain transit transit handl transit handl state machin contain handl element resid element resid handl contain invalid object except invalid element except illeg argument object handl 