If an Object Node is typed by a Block which possesses a state machine, then an Object Node, Activity Parameter, or Action Pin typed by that Block can require that the State Machine exist in a certain state before an Object Token may be passed.